From 8f2daade7cfee0906bcded34cfaaae23ff05f7d3 Mon Sep 17 00:00:00 2001
From: Philipp Marek <philipp@marek.priv.at>
Date: Tue, 31 Mar 2020 19:34:49 +0200
Subject: [PATCH] Make the package text visible in the HTML as well.

---
 doc/alexandria.texinfo | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/doc/alexandria.texinfo b/doc/alexandria.texinfo
index 3609984..04b3fe2 100644
--- a/doc/alexandria.texinfo
+++ b/doc/alexandria.texinfo
@@ -54,8 +54,15 @@ terms and conditions:
   TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
   SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 @end quotation
-@end copying
 
+Unless otherwise noted, the symbols are exported from 
+the @code{"ALEXANDRIA"} package; only newer symbols
+that require @code{"ALEXANDRIA-2"} are fully qualified.
+
+The package @code{"ALEXANDRIA-2"} includes all the symbols 
+from @code{"ALEXANDRIA-1"}.
+
+@end copying
 @titlepage
 
 @title alexandria Manual
@@ -66,13 +73,6 @@ terms and conditions:
 @vskip 0pt plus 1filll
 @insertcopying
 
-Unless otherwise noted, the symbols are exported from 
-the @code{"ALEXANDRIA"} package; only newer symbols
-that require @code{"ALEXANDRIA-2"} are fully qualified.
-
-The package @code{"ALEXANDRIA-2"} includes all the symbols 
-from @code{"ALEXANDRIA-1"}.
-
 @end titlepage
 
 @contents
-- 
GitLab