From b867e112fe62cb72b09ae7c379dfc9eabd013d97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Wed, 23 Jun 2021 02:23:15 +0200 Subject: Rename troc/groc to toc/gtoc --- toc/troc | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 toc/troc (limited to 'toc/troc') diff --git a/toc/troc b/toc/troc deleted file mode 100755 index 8577531..0000000 --- a/toc/troc +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -: ${TROFF:=troff} - -if [ ! -t 0 ]; then - f=`mktemp` - cat > "$f" - set -- "$@" "$f" -fi - -"$TROFF" -rte=1 -rto=0 -zE "$@" 2>&1 | -"$TROFF" -rte=1 -rto=1 -zE "$@" 2>&1 | -"$TROFF" -rte=0 -rto=1 "$@" -s=$? - -[ ! -t 0 ] && rm "$f" -exit $s -- cgit v1.2.3