If WXWIDGETS is not set and if on cygwin then set it to a DOS style path. (This...

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@70658 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

diff --git a/docs/doxygen/regen.sh b/docs/doxygen/regen.sh
index 0fb271912273e7613962b702aed0b3c62a76aa1c..b29e1a522b13119cd60ec378d405419c7be0efc0 100755 (executable)
--- a/docs/doxygen/regen.sh
+++ b/docs/doxygen/regen.sh
@@ -20,7 +20,12 @@ me=$(basename $0)
 path=${0%%/$me}        # path from which the script has been launched
 current=$(pwd)
 cd $path
-export WXWIDGETS=`cd ../.. && pwd`
+if [ "$WXWIDGETS" = "" ]; then
+    export WXWIDGETS=`cd ../.. && pwd`
+    if [ "$OSTYPE" = "cygwin" ]; then
+        export WXWIDGETS=`cygpath -w $WXWIDGETS`
+    fi
+fi
 
 # prepare folders for the cp commands below
 mkdir -p out/html       # we need to copy files in this folder below