Fix reference to debugging-related README file in README and Makefile.dj

* README: Change README.debugging to debugging.html.
* Makefile.dj (OTHER_FILES): Likewise.

diff --git a/Makefile.dj b/Makefile.dj
index 4cc08deb3c6006400cdda0e3fabb2ec471d3532f..3016b49ff079b31b4e476dde47b61c612e9c5229 100644 (file)
--- a/Makefile.dj
+++ b/Makefile.dj
@@ -66,7 +66,7 @@ OTHER_FILES= PCR-Makefile OS2_MAKEFILE NT_MAKEFILE BCC_MAKEFILE \
            doc/README.amiga doc/README.win32 doc/README.cords \
            doc/README.rs6000 README.QUICK TODO tools/callprocs.sh \
            pc_excludes barrett_diagram doc/README.OS2 doc/README.Mac \
-           extra/MacOS.c EMX_MAKEFILE doc/README.debugging \
+           extra/MacOS.c EMX_MAKEFILE doc/debugging.html \
            extra/Mac_files/datastart.c extra/Mac_files/dataend.c \
            extra/Mac_files/MacOS_config.h \
            tools/add_gc_prefix.c doc/README.solaris2 doc/README.sgi \

diff --git a/README b/README
index a59436ae910590368fb3cf98cd0c82a31087831d..a626a5abc0720f87ebd5a6f40346dcf63455557d 100644 (file)
--- a/README
+++ b/README
@@ -142,7 +142,7 @@ to be disregarded, greatly reducing the probability of accidental
 retention of large objects.  For most purposes it seems best to compile
 with ALL_INTERIOR_POINTERS and to use GC_malloc_ignore_off_page if
 you get collector warnings from allocations of very large objects.
-See README.debugging for details.
+See debugging.html for details.
 
   WARNING: pointers inside memory allocated by the standard "malloc" are not
 seen by the garbage collector.  Thus objects pointed to only from such a