From 4e4f1e3f7ae5c1b844a05a326ee0a49fea6f91f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Thu, 13 Jan 2022 04:35:19 +0100
Subject: Revert removal of TexServer.wiki

This reverts part of commit d28c27eb4216b8cb354b2c0cc9fdfe4056dd757b.
---
 TexServer.wiki | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

(limited to 'TexServer.wiki')

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