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

freddrake · freddrake · commit e38b7e8fe959 · 2002-03-11T18:42:08.000Z
the dependency information.
diff --git 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
