Update to reflect changes in the extending & embedding doc.

diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps
index b38d8e0e399a850cb68e039ab98843b2ea2d317e..76ea7fdfb477319054c36b0f9df740b4e65413dc 100644 (file)
--- a/Doc/Makefile.deps
+++ b/Doc/Makefile.deps
@@ -56,7 +56,7 @@ DOCFILES= $(HOWTOSTYLES) \
 EXTFILES= ext/ext.tex $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \
        ext/extending.tex \
        ext/newtypes.tex \
-       ext/unix.tex \
+       ext/building.tex \
        ext/windows.tex \
        ext/embedding.tex \
        texinputs/reportingbugs.tex