Makefile: remove man/pandoc.1 dependency for debpkg.
This commit is contained in:
parent
a99269eef0
commit
64eb59a7a0
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -87,7 +87,7 @@ check: checkdocs check-cabal
|
||||||
checkdocs:
|
checkdocs:
|
||||||
! grep -q -n -e "\t" MANUAL.txt changelog.md
|
! grep -q -n -e "\t" MANUAL.txt changelog.md
|
||||||
|
|
||||||
debpkg: man/pandoc.1
|
debpkg:
|
||||||
docker run -v `pwd`:/mnt \
|
docker run -v `pwd`:/mnt \
|
||||||
-v `pwd`/linux/artifacts:/artifacts \
|
-v `pwd`/linux/artifacts:/artifacts \
|
||||||
--user $(id -u):$(id -g) \
|
--user $(id -u):$(id -g) \
|
||||||
|
|
Loading…
Reference in a new issue