From: <kr_...@us...> - 2003-03-26 12:56:34
|
Update of /cvsroot/htoolkit/gio In directory sc8-pr-cvs1:/tmp/cvs-serv29420/gio Modified Files: configure Log Message: bugfixes Index: configure =================================================================== RCS file: /cvsroot/htoolkit/gio/configure,v retrieving revision 1.1.1.1 retrieving revision 1.2 diff -C2 -d -r1.1.1.1 -r1.2 *** configure 26 Jan 2003 12:41:36 -0000 1.1.1.1 --- configure 26 Mar 2003 12:56:30 -0000 1.2 *************** *** 65,71 **** # just for windows: ghc-pkg doesn't like /home case "$curdir" in ! /home*) if test -z "$HOMEDRIVE"; then ! # nothing ! else curdir="`echo $curdir | sed -e 's|/home||'`" curdir="$HOMEDRIVE$curdir" --- 65,69 ---- # just for windows: ghc-pkg doesn't like /home case "$curdir" in ! /home*) if test ! -z "$HOMEDRIVE"; then curdir="`echo $curdir | sed -e 's|/home||'`" curdir="$HOMEDRIVE$curdir" *************** *** 155,161 **** # just for windows: haddock doesn't like /home case "$hdocdir" in ! /home*) if test -z "$HOMEDRIVE"; then ! # nothing ! else hdocdir="`echo $hdocdir | sed -e 's|/home||'`" hdocdir="$HOMEDRIVE$hdocdir" --- 153,157 ---- # just for windows: haddock doesn't like /home case "$hdocdir" in ! /home*) if test ! -z "$HOMEDRIVE"; then hdocdir="`echo $hdocdir | sed -e 's|/home||'`" hdocdir="$HOMEDRIVE$hdocdir" *************** *** 237,253 **** echo "" >> config/config.mk echo "HDOC=$hdoc" >> config/config.mk ! if test -z "$hdochtml"; then ! # nothing ! else echo "HDOCHTML=$hdochtml" >> config/config.mk fi ! if test -z "$hdoclibs"; then ! # nothing ! else echo "HDOCBASE=$hdoclibs/base.haddock" >> config/config.mk fi ! if test -z "$portdir"; then ! # nothing ! else echo "PORTDIR=$portdir" >> config/config.mk fi --- 233,243 ---- echo "" >> config/config.mk echo "HDOC=$hdoc" >> config/config.mk ! if test ! -z "$hdochtml"; then echo "HDOCHTML=$hdochtml" >> config/config.mk fi ! if test ! -z "$hdoclibs"; then echo "HDOCBASE=$hdoclibs/base.haddock" >> config/config.mk fi ! if test ! -z "$portdir"; then echo "PORTDIR=$portdir" >> config/config.mk fi *************** *** 274,276 **** echo "done -- type 'make' to build the 'gio' package." ! echo "" \ No newline at end of file --- 264,266 ---- echo "done -- type 'make' to build the 'gio' package." ! echo "" |