From d28c27eb4216b8cb354b2c0cc9fdfe4056dd757b 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:32:53 +0100
Subject: tor 13 jan 2022 04:32:53 CET

---
 TexServer.wiki | 22 ----------------------
 1 file changed, 22 deletions(-)

(limited to 'TexServer.wiki')

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