make debpkg: get rid of docker.log.
Let things come out on the CI output.
This commit is contained in:
parent
ce3cd28a6a
commit
e7fa9c4c23
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -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 \
|
||||
|
|
Loading…
Add table
Reference in a new issue