docs/zint.1: don't gzip, add to repo; remove zint.1.gz, manual.pdf from repo

This commit is contained in:
gitlost
2022-05-19 21:31:40 +01:00
parent 1c642614ba
commit 7a32402b93
5 changed files with 405 additions and 2 deletions

View File

@ -156,4 +156,3 @@ $(OUT_MAN) : $(SOURCE_MAN) Makefile
pandoc $(SOURCE_MAN) -f markdown \
$(MAN_OPTS) \
-o $(OUT_MAN)
gzip -c -9 $(OUT_MAN) > $(OUT_MAN).gz