GNU bug report logs -
#23599
Including search directories for pdf and dvi
Previous Next
Reported by: Mohammad Akhlaghi <akhlaghi <at> gnu.org>
Date: Sun, 22 May 2016 18:04:02 UTC
Severity: normal
Tags: confirmed
Done: Mike Frysinger <vapier <at> gentoo.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
+## texi2dvi automatically fallsback to using makeinfo for expanding (-E).
s/fallsback/falls back/
+## If texi2dvi doesn't fallback, we also pass %MAKEINFOFLAGS% directly below.
s/fallback/fall back/
+## if it is in srcdir (-I $(srcdir) is set in %MAKEINFOFLAGS%), and in case
+## texi2dvi automatically fallsback to using makeinfo for expanding (-E).
+## If texi2dvi doesn't fallback, we also pass %MAKEINFOFLAGS% directly below.
Doesn't seem like the same comment should be written twice.
## avoid hitting a Texinfop bug that could cause low-probability racy
s/Texinfop/Texinfo/
(Not your text, but might as well fix as long as you're there)
Anyway, seems fine to me, but maybe needs test case? --thanks, karl.
This bug report was last modified 3 years and 172 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.