diff options
Diffstat (limited to 'Doc/Makefile.deps')
| -rw-r--r-- | Doc/Makefile.deps | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps index d9738dc..ca658f7 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -26,6 +26,11 @@ DOCFILES= $(HOWTOSTYLES) \ doc/doc.tex EXTFILES= ext/ext.tex $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ + ext/extending.tex \ + ext/newtypes.tex \ + ext/unix.tex \ + ext/windows.tex \ + ext/embedding.tex \ texinputs/reportingbugs.tex TUTFILES= tut/tut.tex $(MANSTYLES) $(COMMONTEX) |