From 6d4d0823dc508b35c53735a872190ad43aa60315 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Sun, 7 Mar 2021 20:50:01 +0100
Subject: Start replacing info manual with man pages
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@kth.se>
---
 info/texise | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 info/texise

(limited to 'info/texise')

diff --git a/info/texise b/info/texise
deleted file mode 100755
index 48267e9..0000000
--- a/info/texise
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/env python
-# -*- mode: python, encoding: utf-8 -*-
-# See LICENSE file for copyright and license details.
-
-import sys
-
-data = sys.stdin.read()[:-1]
-
-n = 0
-while '`' in data:
-    i = data.find('`')
-    replacement = '@code{' if n % 2 == 0 else '}'
-    data = data[:i] + replacement + data[i + 1:]
-    n += 1
-
-print(data)
-- 
cgit v1.2.3-70-g09d2