diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index a29fdd29a3..c007b2cc4e 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -80,7 +80,7 @@ libc.dvi libc.pdf libc.info: chapters.texi top-menu.texi dir-add.texi \ libc.dvi libc.pdf: texinfo.tex html: libc/index.html -libc/index.html: chapters.texi top-menu.texi libm-err.texi +libc/index.html: chapters.texi top-menu.texi dir-add.texi libm-err.texi $(MAKEINFO) --html libc.texinfo # Generate the summary from the Texinfo source files for each chapter. |