From fe357ec048e11751287f5865f968644bd45d691e Mon Sep 17 00:00:00 2001
From: ceriel <devnull@localhost>
Date: Fri, 17 Mar 1995 14:11:06 +0000
Subject: [PATCH] Added filter for TARGETHOME, needed for man pages that
 include an include-file

---
 bin/mk_manpage | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/mk_manpage b/bin/mk_manpage
index 28b382a0..6b7d9530 100755
--- a/bin/mk_manpage
+++ b/bin/mk_manpage
@@ -15,4 +15,4 @@ if [ -f $2/man/head ] ; then : ; else cat > $2/man/head <<'EOF'
 EOF
 fi
 if [ -d $2/man/man$num ] ; then : ; else mkdir $2/man/man$num ; fi
-cat $2/man/head $1 > $2/man/man$num/`expr //$1 : '.*/\([^/]*\)'`
+cat $2/man/head $1  | sed "s!TARGETHOME!$2!" > $2/man/man$num/`expr //$1 : '.*/\([^/]*\)'`