deal with which being deprecated in Debian
This commit is contained in:
parent
f7a3c13557
commit
1e91cc5ca6
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -130,7 +130,7 @@ mans: Build/MakeMans
|
||||||
# If ikiwiki is available, build static html docs suitable for being
|
# If ikiwiki is available, build static html docs suitable for being
|
||||||
# shipped in the software package.
|
# shipped in the software package.
|
||||||
docs: mans
|
docs: mans
|
||||||
@if [ -n "`which ikiwiki`" ]; then \
|
@if command -v ikiwiki; then \
|
||||||
LC_ALL=C TZ=UTC ikiwiki doc html -v --wikiname git-annex \
|
LC_ALL=C TZ=UTC ikiwiki doc html -v --wikiname git-annex \
|
||||||
--plugin=goodstuff \
|
--plugin=goodstuff \
|
||||||
--no-usedirs --disable-plugin=openid --plugin=sidebar \
|
--no-usedirs --disable-plugin=openid --plugin=sidebar \
|
||||||
|
|
Loading…
Reference in a new issue