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 ""
|
