diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 5d42458..3dc473f 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,4 +1,15 @@ man_MANS = bbe.1 info_TEXINFOS = bbe.texi +CLEANFILES = bbe.html -EXTRA_DIST = $(man_MANS) $(info_TEXINFOS) +docdir = $(datadir)/doc +doc_DATA = bbe.html +AM_MAKEINFOHTMLFLAGS=--no-split + +bbe.html: bbe.texi bbe.info + +html: bbe.html + +.PHONY: html + +EXTRA_DIST = $(man_MANS) $(info_TEXINFOS) $(doc_DATA) |

