diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 10 | ||||
| -rw-r--r-- | doc/user_help.in.html (renamed from doc/user_help.html) | 4 |
2 files changed, 9 insertions, 5 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 diff --git a/doc/user_help.html b/doc/user_help.in.html index 7ba78277..c3166710 100644 --- a/doc/user_help.html +++ b/doc/user_help.in.html @@ -2,7 +2,7 @@ <html lang="en"> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> - <title>Dillo User Manual</title> + <title>Dillo __VERSION__ User Manual</title> <style> body { background: white; @@ -74,7 +74,7 @@ footer { <body> <div class="main"> -<h1>Dillo User Manual</h1> +<h1>Dillo __VERSION__ User Manual</h1> <p>Welcome to the user manual of the Dillo browser. The manual is divided into <em>sections</em> but is written in a <em>single page</em> to allow search by |