diff --git a/Documentation/md-to-man.do b/Documentation/md-to-man.do index 0ced5d3..1cb241e 100644 --- a/Documentation/md-to-man.do +++ b/Documentation/md-to-man.do @@ -1,8 +1,7 @@ redo-ifchange md2man.py -if ./md2man.py /dev/null 2>/dev/null; then +if ./md2man.py /dev/null; then echo './md2man.py $1.md.tmp' else - (IFS=:; for DIR in $PATH; do redo-ifcreate "$DIR/pandoc"; done) - echo "Warning: pandoc not installed; can't generate manpages." >&2 + echo "Warning: md2man.py missing modules; can't generate manpages." >&2 echo 'echo Skipping: $1.1 >&2' fi