Codebase list texinfo / 8504ba8
allow texi2dvi to pass the shell-escape option to tex Hilmar Preusse 12 years ago
3 changed file(s) with 40 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
55 for sprintf of numeric values (Closes: #639114).
66 * Enabled hardened build flags, thanks to Moritz Mühlenhoff
77 (Closes: #656659)
8 * Allow texi2dvi to pass the --shell-escape option to TeX
9 (already applied to upstream) (Closes: #658983)
810
911 -- Norbert Preining <preining@debian.org> Wed, 24 Aug 2011 23:56:17 +0900
1012
1010 minor-buffer-size-fix
1111 texi2dvi-local-fallback-syntax.diff
1212 texi2dvi_non-C_locale
13 texi-allow-shell-escape.diff
0 diff -urN texinfo-4.13a.dfsg.1_svn/util/texi2dvi texinfo-4.13a.dfsg.1/util/texi2dvi
1 --- texinfo-4.13a.dfsg.1_svn/util/texi2dvi 2012-02-07 13:45:49.000000000 +0100
2 +++ texinfo-4.13a.dfsg.1/util/texi2dvi 2012-02-07 13:47:53.000000000 +0100
3 @@ -69,6 +69,7 @@
4 recode=false
5 set_language=
6 src_specials=
7 +shell_escape=
8 textra= # Extra TeX commands to insert in the input file.
9 txiprereq=19990129 # minimum texinfo.tex version with macro expansion
10 verb=false # true for verbose mode
11 @@ -331,6 +332,7 @@
12 -p, --pdf use pdftex or pdflatex for processing
13 -r, --recode call recode before TeX to translate input
14 --recode-from=ENC recode from ENC to the @documentencoding
15 + --shell-escape pass --shell-escape to TeX
16 --src-specials pass --src-specials to TeX
17 -t, --command=CMD insert CMD in copy of input file
18 or --texinfo=CMD multiple values accumulate
19 @@ -936,6 +938,9 @@
20 # source, given a sufficiently smart editor), if specifed.
21 test -n "$src_specials" && cmd="$cmd $src_specials"
22
23 + # Tell TeX to allow running external executables
24 + test -n "$shell_escape" && cmd="$cmd $shell_escape"
25 +
26 # Tell TeX to be batch if requested.
27 if $batch; then
28 # \batchmode does not show terminal output at all, so we don't
29 @@ -1563,6 +1568,7 @@
30 -r | --recode) recode=true;;
31 --recode-from) shift; recode=true; recode_from="$1";;
32 --src-specials) src_specials=--src-specials;;
33 + --shell-escape) shell_escape=--shell-escape;;
34 -t | --texinfo | --command ) shift; textra="$textra\\
35 "`echo "$1" | sed 's/\\\\/\\\\\\\\/g'`;;
36 --text) out_lang=text;;