5 commits

Author	SHA1	Message	Date
Henry Oswald	f496de6d13	don't put synctex in as a volume	2018-03-16 18:11:46 +00:00
Henry Oswald	fc594f7d8e	add logging of docker options	2018-03-16 17:37:36 +00:00
Henry Oswald	48eb7129a7	add synctex back in	2018-03-16 16:22:39 +00:00
Henry Oswald	29dcef3b9e	comment out synctex for moment	2018-03-16 16:04:26 +00:00
Henry Oswald	9a519f0d3d	added docker runner into core codebase ... supports both local command runner and docker runner added docker files for tex live also fixed tests so they exit correctly & removed debug lines	2018-03-14 15:44:49 +00:00