Comment 4 for bug 414431

Revision history for this message
joenix (woutersj) wrote :

As a workaround I have edited the file "/usr/share/rubber/rubber/rules/latex/pdftex.py" and have added the following line before the if statement:

doc.cmdline.insert(0, "\\synctex=1")