Author: hilmar-guest Date: 2012-02-07 13:04:57 +0000 (Tue, 07 Feb 2012) New Revision: 5011 Added: texinfo/trunk/debian/patches/texi-allow-shell-escape.diff Modified: texinfo/trunk/debian/changelog texinfo/trunk/debian/patches/series Log: allow texi2dvi to pass the shell-escape option to tex [For the full diff, use svn diff.]