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/groc | |
| parent | 5369e3972cd18e8e97d35b4ead7a0fc67ff66658 (diff) | |
| download | mk-b867e112fe62cb72b09ae7c379dfc9eabd013d97.tar.gz | |
Rename troc/groc to toc/gtoc
Diffstat (limited to 'toc/groc')
| -rwxr-xr-x | toc/groc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/toc/groc b/toc/groc deleted file mode 100755 index 80a65a2..0000000 --- a/toc/groc +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -export TROFF=groff -exec=${0%groc}troc -exec "$exec" "$@" |