Make the extension manual format using the Makefile; recent changes broke

the dependency information.

diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps
index 3b666f473001bbb7fe29f35badcc92f63e38bff1..967a5f9516639cd119220b9c9ac0a814b154a3c4 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