diff options
| author | John Ankarström <john@ankarstrom.se> | 2021-06-23 02:23:15 +0200 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2021-06-23 02:23:15 +0200 |
| commit | b867e112fe62cb72b09ae7c379dfc9eabd013d97 (patch) | |
| tree | 66945a7b29168ce5cc2e17aec1b1f0ebe98f1866 /toc/troc | |
| parent | 5369e3972cd18e8e97d35b4ead7a0fc67ff66658 (diff) | |
| download | mk-b867e112fe62cb72b09ae7c379dfc9eabd013d97.tar.gz | |
Rename troc/groc to toc/gtoc
Diffstat (limited to 'toc/troc')
| -rwxr-xr-x | toc/troc | 17 |
1 files changed, 0 insertions, 17 deletions
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 |