diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index ed519a1..2242259 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -22,14 +22,3 @@ info_TEXINFOS = make.texi make_TEXINFOS = fdl.texi make-stds.texi CLEANFILES = make*.html - -## ----------------------------- ## -## Other documentation formats. ## -## ----------------------------- ## - -html: make_1.html - -make_1.html: $(info_TEXINFOS) $(make_TEXINFOS) - $(TEXI2HTML) $(TEXI2HTML_FLAGS) $(srcdir)/make.texi - -.PHONY: html |