Build the new docs as part of the automated build

[wxWidgets.git] / docs / motif / makewxmotif

diff --git a/docs/motif/makewxmotif b/docs/motif/makewxmotif
index d2927541ec9431ba13d6f9915b536657be3260ee..78f7864eb444508b9c3cbd57305755a55206240b 100644 (file)
--- a/docs/motif/makewxmotif
+++ b/docs/motif/makewxmotif
@@ -1,11 +1,18 @@
+#!/bin/sh

 # makewxmotif
 # makewxmotif

-# Sets permissions (in case we extracted wxMotif from zip files)
-# and makes wxMotif.
-# Call from top-level wxWindows directory.
-# Note that this uses standard (but commonly-used) configure options;
-# if you're feeling brave, you may wish to compile with threads.
-# -- Julian Smart
+# Configures and makes wxMotif from either the root wxWindows directory
+# or a build directory underneath it.
+
+CONFIG=./configure
+
+if [ ! -f ./configure ]; then
+  CONFIG=../configure
+fi
+
+CONFIG="$CONFIG --disable-shared --with-motif --enable-debug --enable-threads"
+
+echo Invoking $CONFIG
+

 rm -f *.cache
 rm -f *.cache

-chmod a+x configure config.sub config.guess
-./configure --disable-shared --with-motif --without-gtk --with-debug_flag --with-debug_info --enable-debug --without-sockets --without-odbc --without-threads --enable-newgrid
+$CONFIG

 make
 make