Ubuntu
rubber package

  1. Bug #414431
  2. Comment #2

Comment 2 for bug 414431

Revision history for this message
Smeuuh (smeuuh) wrote :

 Yes, this bug is annoying. A nice thing to have would be to be able to specify extra command-line options for the tools involved. As a workaround, I have

#!/bin/sh
/usr/bin/pdflatex -synctex=1 $@

in ~/bin/pdflatex