From 62fe9a0df55ec33a80eb2a669b78acaa9a13c9c5 Mon Sep 17 00:00:00 2001
From: Michael Stone <michael@laptop.org>
Date: Sun, 16 Jan 2011 16:21:14 -0800
Subject: [PATCH] md-to-man.do: redo-ifcreate on possible paths to pandoc

This way, if you run

  ./redo
  $PKGMGR install pandoc
  ./redo

you'll still wind up with man pages.
---
 Documentation/md-to-man.do | 1 +
 1 file changed, 1 insertion(+)

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