Add patch to fix headless BibTeX output.
authorgregor herrmann <gregoa@debian.org>
Wed, 7 May 2014 20:04:45 +0000 (22:04 +0200)
committergregor herrmann <gregoa@debian.org>
Wed, 7 May 2014 20:04:45 +0000 (22:04 +0200)
commit529a70c8314f338e076a17fafc0aa3368396b9d3
tree9a33968dcc22896b702931b8b3cafbc2462a939e
parenteab441e1da4c726b54299efd9d72c978b85dc170
Add patch to fix headless BibTeX output.

Thanks: Vincent Fourmond for the bug report and the patch.
Closes: #723100
debian/patches/fix-headless-bibtex-output.diff [new file with mode: 0644]
debian/patches/series