diff options
| author | Ulrich Drepper <drepper@redhat.com> | 2001-07-19 07:25:49 +0000 |
|---|---|---|
| committer | Ulrich Drepper <drepper@redhat.com> | 2001-07-19 07:25:49 +0000 |
| commit | fef0b717d0287ab63a0f5a39dabf477c58182492 (patch) | |
| tree | fbd20f595eb783bb206d955a6675ae73f21730c8 /manual/Makefile | |
| parent | 91099cf415727b7ff4a920913fabde84dcf7f8fa (diff) | |
Update.
2001-07-19 Ulrich Drepper <drepper@redhat.com>
* Makefile: Add html goal.
* manual/Makefile: Likewise.
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index 7f083d5934..52c12aea6a 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -24,7 +24,7 @@ export subdir := $(subdir) # Allow override INSTALL_INFO = install-info -.PHONY: all dvi pdf info +.PHONY: all dvi pdf info html all: dvi dvi: libc.dvi pdf: libc.pdf @@ -76,6 +76,10 @@ chapters.% top-menu.%: libc-texinfo.sh $(texis) Makefile libc.dvi libc.pdf libc.info: chapters.texi top-menu.texi libm-err.texi libc.dvi libc.pdf: texinfo.tex +html: libc/index.html +libc/index.html: chapters.texi top-menu.texi libm-err.texi + $(MAKEINFO) --html libc.texinfo + # Generate the summary from the Texinfo source files for each chapter. summary.texi: stamp-summary ; stamp-summary: summary.awk $(filter-out summary.texi, $(texis)) |