5 commits

Author	SHA1	Message	Date
henry oswald	0e2603e4be	change synctex binary and added it to mounted volumes in docker config	2018-05-25 13:45:07 +00:00
Henry Oswald	91bd54cff9	update to 1.1.3 build scripts	2018-05-24 19:03:57 +01:00
Henry Oswald	6d21ab734a	try copying synctex betwen directories	2018-03-16 17:10:56 +00:00
Henry Oswald	4179d19200	move synctex into a directory for simple mounting	2018-03-16 16:50:30 +00:00
Henry Oswald	5cf3c904cb	mvp ... needs hacked pacth in docker runner wip most tests pass	2018-03-02 17:14:20 +00:00