From 16e9630b79f0a7a90c6cedb6781175bb8b337dc1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Sat, 29 Apr 2017 12:11:08 +0200 Subject: New upstream version 4.3.0 --- app/doc/navigation.but | 1 + 1 file changed, 1 insertion(+) (limited to 'app/doc/navigation.but') diff --git a/app/doc/navigation.but b/app/doc/navigation.but index a11e4fa..66b0cc9 100644 --- a/app/doc/navigation.but +++ b/app/doc/navigation.but @@ -3,6 +3,7 @@ \# The "\u000" command is used to format the output. The command causes a blank line to appear between "bulleted" or "described" items. \# \# The "\u00B0" command gives proper format to the degree sign. +\cfg{html-local-head}{} \C{navigation} Navigation -- cgit v1.2.3