Skip to content

Commit

Permalink
Fix syntax
Browse files Browse the repository at this point in the history
type -p apparently doesn't work in a $() construct, so use which instead
  • Loading branch information
yoe committed Jan 17, 2024
1 parent 7533e2f commit d003618
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion autogen.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#!/bin/sh
set -ex
if [ -z "$(type -p docbook2man)" ]; then
if [ -z "$(which docbook2man)" ]; then
if [ -z "$NO_MANPAGES" ]; then
echo "E: docbook2man not found. Set NO_MANPAGES to a nonzero value to build without man pages"
exit 1
Expand Down

0 comments on commit d003618

Please sign in to comment.