xen-doc.patch

   1 diff -urNp -x '*.orig' xen-4.13.1.org/tools/qemu-xen-traditional/Makefile xen-4.13.1/tools/qemu-xen-traditional/Makefile
   2 --- xen-4.13.1.org/tools/qemu-xen-traditional/Makefile  2018-10-24 17:18:11.000000000 +0200
   3 +++ xen-4.13.1/tools/qemu-xen-traditional/Makefile      2021-03-25 22:42:21.257653071 +0100
   4 @@ -275,7 +275,7 @@ cscope:
   5
   6  # documentation
   7  %.html: %.texi
   8 -       texi2html -monolithic -number $<
   9 +       texi2any --html --no-split --number-sections $<
  10
  11  %.info: %.texi
  12         makeinfo $< -o $@
  13 diff -urNp -x '*.orig' xen-4.13.1.org/tools/qemu-xen-traditional/configure xen-4.13.1/tools/qemu-xen-traditional/configure
  14 --- xen-4.13.1.org/tools/qemu-xen-traditional/configure 2021-03-25 22:42:20.504324047 +0100
  15 +++ xen-4.13.1/tools/qemu-xen-traditional/configure     2021-03-25 22:42:21.257653071 +0100
  16 @@ -1087,7 +1087,7 @@ EOF
  17  fi
  18
  19  # Check if tools are available to build documentation.
  20 -if [ -x "`which texi2html 2>/dev/null`" ] && \
  21 +if [ -x "`which texi2any 2>/dev/null`" ] && \
  22     [ -x "`which pod2man 2>/dev/null`" ]; then
  23    build_docs="yes"
  24  fi
  25 diff -urNp -x '*.orig' xen-4.13.1.org/tools/qemu-xen-traditional/texi2pod.pl xen-4.13.1/tools/qemu-xen-traditional/texi2pod.pl
  26 --- xen-4.13.1.org/tools/qemu-xen-traditional/texi2pod.pl       2018-10-24 17:18:11.000000000 +0200
  27 +++ xen-4.13.1/tools/qemu-xen-traditional/texi2pod.pl   2021-03-25 22:42:21.257653071 +0100
  28 @@ -340,6 +340,8 @@ die "No filename or title\n" unless defi
  29  $sects{NAME} = "$fn \- $tl\n";
  30  $sects{FOOTNOTES} .= "=back\n" if exists $sects{FOOTNOTES};
  31
  32 +print "=encoding utf8\n";
  33 +
  34  for $sect (qw(NAME SYNOPSIS DESCRIPTION OPTIONS ENVIRONMENT FILES
  35               BUGS NOTES FOOTNOTES SEEALSO AUTHOR COPYRIGHT)) {
  36      if(exists $sects{$sect}) {