2020-07-26 20:24:23 +02:00
|
|
|
Index: configure.ac
|
2018-10-30 23:43:58 +01:00
|
|
|
===================================================================
|
2020-07-26 20:24:23 +02:00
|
|
|
--- configure.ac.orig
|
|
|
|
+++ configure.ac
|
|
|
|
@@ -263,7 +263,7 @@ if test "${enable_doc}"; then
|
2018-10-30 23:43:58 +01:00
|
|
|
|
|
|
|
case "$DOCTOOL" in
|
|
|
|
linuxdoc) DOCTOOL="linuxdoc -B html -H \$(TOPDIR)/doc/html.header";;
|
|
|
|
- sgml2html) DOCTOOL="sgml2html -s 1 -H \$(TOPDIR)/doc/html.header";;
|
|
|
|
+ sgml2html) DOCTOOL="sgml2html -s 1";;
|
|
|
|
:)
|
|
|
|
if test "${srcdir}" != "."; then
|
|
|
|
mkdir -p doc
|
2020-07-26 20:24:23 +02:00
|
|
|
Index: configure
|
2018-10-30 23:43:58 +01:00
|
|
|
===================================================================
|
2020-07-26 20:24:23 +02:00
|
|
|
--- configure.orig
|
|
|
|
+++ configure
|
|
|
|
@@ -4274,7 +4274,7 @@ test -n "$DOCTOOL" || DOCTOOL="":""
|
2018-10-30 23:43:58 +01:00
|
|
|
|
|
|
|
case "$DOCTOOL" in
|
|
|
|
linuxdoc) DOCTOOL="linuxdoc -B html -H \$(TOPDIR)/doc/html.header";;
|
|
|
|
- sgml2html) DOCTOOL="sgml2html -s 1 -H \$(TOPDIR)/doc/html.header";;
|
|
|
|
+ sgml2html) DOCTOOL="sgml2html -s 1";;
|
|
|
|
:)
|
|
|
|
if test "${srcdir}" != "."; then
|
|
|
|
mkdir -p doc
|