diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index a672597b..943e70d7 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,12 +1,16 @@ -dist_doc_DATA = user_help.html +doc_DATA = user_help.html man_MANS = dillo.1 EXTRA_DIST = \ README \ Cookies.txt \ dillo.1.in \ - user_help.html + user_help.in.html dillo.1: $(srcdir)/dillo.1.in Makefile sed 's%/usr/local%${prefix}%g' < $(srcdir)/dillo.1.in > dillo.1 -DISTCLEANFILES = dillo.1 +# Use .in.html instead of .html.in so it is recognized as HTML. +user_help.html: $(srcdir)/user_help.in.html Makefile + sed 's/__VERSION__/${VERSION}/g' $< > $@ + +DISTCLEANFILES = dillo.1 user_help.html |