Use fixed screen DPI of 96 when printing HTML.

[wxWidgets.git] / regen

diff --git a/regen b/regen
index e05991a9fd54f10f957cc46114c78af17d194d3d..558c0e9bfc9029fc88757b40976f51186fb8f59e 100755 (executable)
--- a/regen
+++ b/regen
@@ -12,7 +12,12 @@ if test "x$1" = "x"; then
     exit 1
 fi
 
-CONFIG_FILES=$1
+if [ ! -x ./config.status ]; then
+    echo "Must be run from the top level wxWidgets build directory" >&2
+    exit 1
+fi
+
+CONFIG_FILES=$*
 CONFIG_HEADERS=
 export CONFIG_FILES CONFIG_HEADERS
 ./config.status