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") -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/414431 Title: rubber does not support synctex To manage notifications about this bug go to: https://bugs.launchpad.net/rubber/+bug/414431/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
