diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index fefea7d..cda27ea 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -11,5 +11,16 @@ # implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. SUBDIRS = html +SUFFIXES = .html + + info_TEXINFOS = mdk.texi mdk_TEXINFOS = gpl.texi + +html_docs = mdk.html + +.texi.html: + $(MAKEINFO) --html $< + +.PHONY: html +html: version.texi gpl.texi $(html_docs)
\ No newline at end of file |