diff options
| author | John MacFarlane <[email protected]> | 2022-08-15 22:47:14 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-08-15 22:47:14 -0700 |
| commit | e7fa9c4c232c8411b1b118cd0f78d5d2aeec52e3 (patch) | |
| tree | 44cd3cbbedf71cb296901cb86ba24e72468c9ff4 /Makefile | |
| parent | ce3cd28a6a91a96b00d35584202e8202e468d2ab (diff) | |
make debpkg: get rid of docker.log.
Let things come out on the CI output.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -91,7 +91,7 @@ debpkg: ## create linux package --rm \ $(DOCKERIMAGE) \ bash \ - /mnt/linux/make_artifacts.sh 2>&1 > docker.log + /mnt/linux/make_artifacts.sh man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after pandoc $< -f markdown -t man -s \ |