[PATCH Configure]; was Re: [ID 20000315.012] Configuring man[13]dir

> > (2) ./Configure -des -Dprefix=~/appl -Dman1dir=none
> 
> This one's more subtle, having to do with Configure's Prefixit unit,
> and I'm not going to be able to fix it today (or indeed anytime soon).  
> The workaround is to use -Dman1dir=' ' (i.e. a single space).
> (This works with either way of specifying prefix.)

I thought it was a problem with Prefixit but
the real problem seems to be that when I do
	./Configure -des -Dprefix=~/appl
none of the config varibles begin ~/appl, 
they all start /home/rmb1/appl (just like the *exp variables).

I have a patch, which preserves the unexpandedness of the Directory
output from getfile, when this is possible.

Robin

--- Configure.orig   Fri Mar 17 13:30:35 2000
+++ Configure   Fri Mar 17 13:57:21 2000
@@ -3311,13 +3311,15 @@
                        Directory)
                                for fp in $gfpth; do
                                        if test "X$fp" = X.; then
-                                           pf="$ansexp"
+                                           dir="$ans"
+                                           direxp="$ansexp"
                                        else    
-                                           pf="$fp/$ansexp"
+                                           dir="$fp/$ansexp"
+                                           direxp="$fp/$ansexp"
                                        fi
-                                       if test -d "$pf"; then
+                                       if test -d "$direxp"; then
                                                type=''
-                                               value="$pf"
+                                               value="$dir"
                                                break
                                        fi
                                done

-- 
Robin Barker                        | Eail:  Robin.Barker@npl.co.uk
CISE, Building 10,                  | Phone: +44 (0) 20 8943 7090
National Physical Laboratory,       | Fax:   +44 (0) 20 8977 7091
Teddington, Middlesex, UK. TW11 OLW | WWW:   http://www.npl.co.uk

• [PATCH Configure]; was Re: [ID 20000315.012] Configuring man[13]dir by Robin Barker