diff options
| -rw-r--r-- | TexServer.wiki | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/TexServer.wiki b/TexServer.wiki index e69de29..76e5d62 100644 --- a/TexServer.wiki +++ b/TexServer.wiki @@ -0,0 +1,22 @@ += TexServer = + +This is an idea for an easy way to display TeX files. The basic idea +is that TeX files are served, and built on demand. If you build this, +please tell me. + +`GET list/` +lists available document + + Implemented as regular directory listing from file server + Just list the repos. + +`GET doc/name` +Returns the given document, builds it if not already there. + +In every repo, put an index.cgi, which should do: +{{{sh + $ git fetch --all + $ git checkout <branch> + $ latexmk + $ return <doc>.pdf +}}} |