diff options
Diffstat (limited to 'Doc/Makefile.deps')
| -rw-r--r-- | Doc/Makefile.deps | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps index 2cdd019..06f6961 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -4,6 +4,8 @@ APIFILES= ../api/api.tex +DOCFILES= ../doc/doc.tex + EXTFILES= ../ext/ext.tex TUTFILES= ../tut/tut.tex |