GitHub repository: sjoerd-vogel/texwiki
Primary language: Shell
Created: 2017-10-01T10:41:28Z
Description: Scripts to compile a directory tree of modified tex files, into an identical directory tree of wiki-like crossreferencing pdf-s.