maint: do not produce DVI-format manual anymore

The GNU standards don't require DVI-format documentation anymore:
https://lists.gnu.org/archive/html/bug-standards/2025-07/msg00011.html

* build-aux/update-online-manual.sh: Remove DVI format.
* doc/.gitignore: Remove ignore entries for DVI files.
This commit is contained in:
Bernhard Voelker 2025-10-14 00:49:09 +02:00
parent deb3f7066d
commit 499e792fc0
2 changed files with 1 additions and 9 deletions

View File

@ -30,7 +30,7 @@ usage: $0 location-of-${PACKAGE}-build-directory
EOF
}
checkfiles="CVS dvi ${TEXIBASE}.html html_node html_mono info ps texi text ${TEXIBASE}.pdf"
checkfiles="CVS ${TEXIBASE}.html html_node html_mono info ps texi text ${TEXIBASE}.pdf"
if [ $# -ne 1 ]; then
usage >&2
@ -99,9 +99,6 @@ then
cp ${BUILDDIR}/doc/manual/${TEXIBASE}.texi.tar.gz texi/${TEXIBASE}.texi.tar.gz
cp ${BUILDDIR}/doc/manual/${TEXIBASE}.info.tar.gz info/${TEXIBASE}-info.tar.gz
echo Collecting the DVI file...
cp $BUILDDIR/doc/manual/${TEXIBASE}.dvi.gz dvi/${TEXIBASE}.dvi.gz
echo Collecting the PDF file...
cp $BUILDDIR/doc/manual/${TEXIBASE}.pdf .
@ -178,9 +175,6 @@ This manual is available in the following formats:
<LI>
$(linkfor "text/${TEXIBASE}.txt.gz" "gzipped characters" "ASCII text")
</LI>
<LI>
$(linkfor "dvi/${TEXIBASE}.dvi.gz" "gzipped" "a TeX dvi file")
</LI>
<LI>
$(linkfor "${TEXIBASE}.pdf" "PDF file" PDF)
</LI>

2
doc/.gitignore vendored
View File

@ -4,7 +4,6 @@
/find.aux
/find.cp
/find.cps
/find.dvi
/find.fn
/find.fns
/find.html/
@ -17,7 +16,6 @@
/find.toc
/find.tp
/find.vr
/find-maint.dvi
/find-maint.html/
/find-maint.pdf
/find-maint.ps