diff options
author | jaortega <jaortega> | 2001-03-15 17:26:39 +0000 |
---|---|---|
committer | jaortega <jaortega> | 2001-03-15 17:26:39 +0000 |
commit | 44984f46aa6fdc81fe8e5af29e09c9c624d864c5 (patch) | |
tree | 83bd0d7c26bdb603aa295c5341344420782c25a3 /doc | |
parent | 52cac8c41a50145c385c0c13b95ee290a1628c97 (diff) | |
download | mdk-44984f46aa6fdc81fe8e5af29e09c9c624d864c5.tar.gz mdk-44984f46aa6fdc81fe8e5af29e09c9c624d864c5.tar.bz2 |
0.3 pre-release
Diffstat (limited to 'doc')
-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 |