1
0
Fork 0

Adding debian version 5.2.37-2.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
This commit is contained in:
Daniel Baumann 2025-06-21 06:49:22 +02:00
parent fa1b3d3922
commit fc8a52c443
Signed by: daniel.baumann
GPG key ID: BCC918A2ABD66424
59 changed files with 8007 additions and 0 deletions

View file

@ -0,0 +1,13 @@
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -70,8 +70,8 @@ TEXINDEX = texindex
TEX = tex
MAKEINFO = makeinfo
-TEXI2DVI = ${SUPPORT_SRCDIR}/texi2dvi
-TEXI2HTML = ${SUPPORT_SRCDIR}/texi2html
+TEXI2DVI = texi2dvi
+TEXI2HTML = texi2html
MAN2HTML = ${BUILD_DIR}/support/man2html
HTMLPOST = ${srcdir}/htmlpost.sh
QUIETPS = #set this to -q to shut up dvips