From 8b74ffc35b24db4fa65cc002f6cb3600734c248c Mon Sep 17 00:00:00 2001 From: Willem Ferguson Date: Mon, 9 Dec 2013 22:04:41 +0200 Subject: Updated user manual 1) Added Main Menu items description 2) Added Divelogs.de description 3) Removed paragraph defining EAD & END 4) Several typos corrected 5) Positions of several figures standardised to align="central" Signed-off-by: Willem Ferguson Signed-off-by: Dirk Hohndel --- Documentation/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Documentation/Makefile') diff --git a/Documentation/Makefile b/Documentation/Makefile index ba11e0aae..8b539c729 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -4,7 +4,7 @@ HTMLDOC = $(DOCNAME).html ASCIIDOC = asciidoc A2X = a2x BROWSER = firefox -THEME = compact_wf +THEME = compact_subsurface PWD = $(realpath .) all: doc $(addprefix $(DOCNAME).,pdf text) -- cgit v1.2.3-70-g09d2