diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-01-13 04:34:01 +0100 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-01-13 04:34:01 +0100 |
commit | 93bd999d38cc083cfaa814d76fba4b1e2658fc0a (patch) | |
tree | 5fba7a7f0f6071bd338a1033d1ea9fec54076375 /TexServer.wiki | |
parent | tor 13 jan 2022 04:30:56 CET (diff) | |
parent | Merge branch 'master' of git.hornquist.se:git/wiki-public (diff) | |
download | wiki-public-93bd999d38cc083cfaa814d76fba4b1e2658fc0a.tar.gz wiki-public-93bd999d38cc083cfaa814d76fba4b1e2658fc0a.tar.xz |
Merge branch 'master' of git.hornquist.se:git/wiki-public
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 -}}} |