diff --git a/Documentation/md-to-man.do b/Documentation/md-to-man.do
index 8ea169a..4ae53e7 100644
--- a/Documentation/md-to-man.do
+++ b/Documentation/md-to-man.do
@@ -1,6 +1,7 @@
 if pandoc </dev/null 2>/dev/null; then
 	echo 'pandoc -s -r markdown -w man -o $3 $1.md'
 else
+	(IFS=:; for DIR in $PATH; do redo-ifcreate "$DIR/pandoc"; done)
 	echo "Warning: pandoc not installed; can't generate manpages." >&2
 	echo 'echo Skipping: $1.1 >&2'
 fi