diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2019-04-08 12:45:10 +0200 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2019-04-08 12:45:10 +0200 |
commit | 4672716ce94f04ab6b3dca29da5134d7d8c1723d (patch) | |
tree | 9c7074cee81b76538a09f9e790a5e1b75cfd4bf9 /TexServer.wiki | |
parent | Wed, 03 Apr 2019 20:49:42 +0200 (diff) | |
download | wiki-public-4672716ce94f04ab6b3dca29da5134d7d8c1723d.tar.gz wiki-public-4672716ce94f04ab6b3dca29da5134d7d8c1723d.tar.xz |
Mon, 08 Apr 2019 12:45:09 +0200
Diffstat (limited to 'TexServer.wiki')
-rw-r--r-- | TexServer.wiki | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/TexServer.wiki b/TexServer.wiki new file mode 100644 index 0000000..76e5d62 --- /dev/null +++ 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 +}}} |