diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-01-13 04:32:53 +0100 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-01-13 04:32:53 +0100 |
commit | d28c27eb4216b8cb354b2c0cc9fdfe4056dd757b (patch) | |
tree | 66724b0896d5e4ab6e1c7b46de0afc6120f76528 /TexServer.wiki | |
parent | tis 14 dec 2021 18:07:31 CET (diff) | |
download | wiki-public-d28c27eb4216b8cb354b2c0cc9fdfe4056dd757b.tar.gz wiki-public-d28c27eb4216b8cb354b2c0cc9fdfe4056dd757b.tar.xz |
tor 13 jan 2022 04:32:53 CET
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 -}}} |