diff options
Diffstat (limited to 'TexServer.wiki')
-rw-r--r-- | TexServer.wiki | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/TexServer.wiki b/TexServer.wiki index 76e5d62..e69de29 100644 --- a/TexServer.wiki +++ b/TexServer.wiki @@ -1,22 +0,0 @@ -= 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 -}}} |