20 lines
434 B
Diff
20 lines
434 B
Diff
Make it work again with latest texinfo and TeXLive
|
|
|
|
---
|
|
doc/Makefile.in | 4 ++--
|
|
1 file changed, 2 insertions(+), 2 deletions(-)
|
|
|
|
--- doc/Makefile.in
|
|
+++ doc/Makefile.in 2023-04-13 09:20:23.005315974 +0000
|
|
@@ -49,8 +49,8 @@ else
|
|
TEXI2HTML_TOC=auctex_toc.html
|
|
endif
|
|
endif
|
|
-TEXI2DVI=@TEXI2DVI@
|
|
-TEXI2PDF=@TEXI2PDF@
|
|
+TEXI2DVI=@TEXI2DVI@ -E
|
|
+TEXI2PDF=@TEXI2PDF@ -E
|
|
MKINSTALLDIRS = ../mkinstalldirs
|
|
DVIPS=@DVIPS@
|
|
PERL=@PERL@
|