From: Bruno Haible <bruno@clisp.org>
Date: Sun, 7 Apr 2019 13:19:20 +0000 (+0200)
Subject: libtextstyle: Tweak style of HTML documentation.
X-Git-Tag: v0.20~76
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=efb9aab758978b3bff347d8141eb61029c219ed2;p=thirdparty%2Fgettext.git

libtextstyle: Tweak style of HTML documentation.

* libtextstyle/build-aux/texi2html (BIG_RULE): Set to empty.
---

diff --git a/libtextstyle/build-aux/texi2html b/libtextstyle/build-aux/texi2html
index 618274ef8..96592ebfe 100755
--- a/libtextstyle/build-aux/texi2html
+++ b/libtextstyle/build-aux/texi2html
@@ -980,7 +980,7 @@ $SMALL_FONT_SIZE = '-1';
 $SMALL_RULE = '<hr size="1">';
 $DEFAULT_RULE = '<hr>';
 $MIDDLE_RULE = '<hr size="2">';
-$BIG_RULE = '<hr size="6">';
+$BIG_RULE = '';
 
 # if non-empty, and no @..heading appeared in Top node, then
 # use this as header for top node/section, otherwise use value of