From 4672716ce94f04ab6b3dca29da5134d7d8c1723d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Mon, 8 Apr 2019 12:45:10 +0200
Subject: Mon, 08 Apr 2019 12:45:09 +0200

---
 TexServer.wiki | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 TexServer.wiki

(limited to 'TexServer.wiki')

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 
+}}}
-- 
cgit v1.2.3