Make the choices in generated config file (in config.gen) look better.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Mar 11 20:56:27 2009 +0000 (2009-03-11)
changeset 1256acf1944ef6a4
parent 1255 d856241f693c
child 1257 ded91847b3b5
Make the choices in generated config file (in config.gen) look better.

/trunk/config/config.mk | 2 1 1 0 +-
1 file changed, 1 insertion(+), 1 deletion(-)
config/config.mk
     1.1 --- a/config/config.mk	Mon Mar 09 22:05:52 2009 +0000
     1.2 +++ b/config/config.mk	Wed Mar 11 20:56:27 2009 +0000
     1.3 @@ -94,8 +94,8 @@
     1.4  	    else                                                                \
     1.5  	      echo "\"";                                                        \
     1.6  	    fi;                                                                 \
     1.7 +	    echo "";                                                            \
     1.8  	  done;                                                                 \
     1.9 -	  echo "";                                                              \
    1.10  	  echo "endchoice";                                                     \
    1.11  	  for entry in $(5); do                                                 \
    1.12  	    file="$(4)/$${entry}.in";                                           \