From ebe124eacd7c3faa36ed358e7cc1d7c5b419e5f6 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 4 May 2024 14:18:09 +0200 Subject: Merging upstream version 15.6. Signed-off-by: Daniel Baumann --- doc/src/sgml/html/docguide-toolsets.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/src/sgml/html/docguide-toolsets.html') diff --git a/doc/src/sgml/html/docguide-toolsets.html b/doc/src/sgml/html/docguide-toolsets.html index 1b217ab..6facf81 100644 --- a/doc/src/sgml/html/docguide-toolsets.html +++ b/doc/src/sgml/html/docguide-toolsets.html @@ -1,5 +1,5 @@ -J.2. Tool Sets
J.2. Tool Sets
Prev UpAppendix J. DocumentationHome Next

J.2. Tool Sets

J.2.1. Installation on Fedora, RHEL, and Derivatives
J.2.2. Installation on FreeBSD
J.2.3. Debian Packages
J.2.4. macOS
J.2.5. Detection by configure

+J.2. Tool Sets

J.2. Tool Sets
Prev UpAppendix J. DocumentationHome Next

J.2. Tool Sets

J.2.1. Installation on Fedora, RHEL, and Derivatives
J.2.2. Installation on FreeBSD
J.2.3. Debian Packages
J.2.4. macOS
J.2.5. Detection by configure

The following tools are used to process the documentation. Some might be optional, as noted. @@ -112,4 +112,4 @@ checking for dbtoepub... dbtoepub 

 ./configure ... XMLLINT=/opt/local/bin/xmllint ...

-

Prev Up Next
J.1. DocBook Home J.3. Building the Documentation
\ No newline at end of file +

Prev Up Next
J.1. DocBook Home J.3. Building the Documentation
\ No newline at end of file -- cgit v1.2.3