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