diff options
author | John Ankarström <john@ankarstrom.se> | 2021-06-23 20:55:06 +0200 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2021-06-23 20:55:06 +0200 |
commit | bffbccd88aa57541bffca931c6a4c205773ad619 (patch) | |
tree | 113458e94b7f5439efa8b058e3a819827a42b342 /toc/gtoc | |
parent | df9030831e294af0030d3c9df092a1ea910aa6df (diff) | |
download | mk-bffbccd88aa57541bffca931c6a4c205773ad619.tar.gz |
toc: Change toc script usage, skip unnecessary passes
Diffstat (limited to 'toc/gtoc')
-rwxr-xr-x | toc/gtoc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/toc/gtoc b/toc/gtoc deleted file mode 100755 index f64ddbe..0000000 --- a/toc/gtoc +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -export TROFF=groff -exec=${0%gtoc}toc -exec "$exec" "$@" |