diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-04-27 22:30:04 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-04-28 22:23:16 +0200 |
| commit | 021adb56db9d66cee2b58a635764798245b494d0 (patch) | |
| tree | 1d6b118200f5db9e24072970b6b60e1192588b68 | |
| parent | 4e5cb2436565f1e9a4c98a5f74e91caafc33cde7 (diff) | |
Add version to user manual
Fixes: https://github.com/dillo-browser/dillo/issues/136
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rw-r--r-- | doc/Makefile.am | 10 | ||||
| -rw-r--r-- | doc/user_help.in.html (renamed from doc/user_help.html) | 4 |
3 files changed, 11 insertions, 6 deletions
@@ -65,8 +65,9 @@ dillo-3.1 [not released yet] - Fix W3C validator and remove broken WDG validator. - Simplify bookmark DPI page style and improve readability. - Improve the Dillo manual available from the help button. - - Improve detection of XHTML documents + - Improve detection of XHTML documents. - Install desktop file with Dillo icon + - Add version in user manual and about:splash. Patches: Rodrigo Arias Mallo <rodarima@gmail.com> ----------------------------------------------------------------------------- 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 |