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/Makefile | |
parent | 5369e3972cd18e8e97d35b4ead7a0fc67ff66658 (diff) | |
download | mk-b867e112fe62cb72b09ae7c379dfc9eabd013d97.tar.gz |
Rename troc/groc to toc/gtoc
Diffstat (limited to 'toc/Makefile')
-rw-r--r-- | toc/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/toc/Makefile b/toc/Makefile index 6cf0b74..3211efd 100644 --- a/toc/Makefile +++ b/toc/Makefile @@ -1,2 +1,5 @@ +README.pdf: README.t + ./gtoc -Tps README.t | ps2pdf - > README.pdf + example.pdf: example.t - ./groc -Tps example.t | ps2pdf - > example.pdf + ./gtoc -Tps example.t | ps2pdf - > example.pdf |