diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-01-13 04:35:19 +0100 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2022-01-13 04:35:19 +0100 |
commit | 4e4f1e3f7ae5c1b844a05a326ee0a49fea6f91f2 (patch) | |
tree | 2aa146722d8e1784368672e7092d87639123f95e | |
parent | Merge branch 'master' of git.hornquist.se:git/wiki-public (diff) | |
download | wiki-public-4e4f1e3f7ae5c1b844a05a326ee0a49fea6f91f2.tar.gz wiki-public-4e4f1e3f7ae5c1b844a05a326ee0a49fea6f91f2.tar.xz |
Revert removal of TexServer.wiki
This reverts part of commit d28c27eb4216b8cb354b2c0cc9fdfe4056dd757b.
-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 +}}} |