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 75ebec2b279d02e4fa7122e564f7c679854b0855..78f7864eb444508b9c3cbd57305755a55206240b 100644 (file)
--- a/docs/motif/makewxmotif
+++ b/docs/motif/makewxmotif
@@ -1,3 +1,4 @@
+#!/bin/sh

 # makewxmotif
 # Configures and makes wxMotif from either the root wxWindows directory
 # or a build directory underneath it.
 # makewxmotif
 # Configures and makes wxMotif from either the root wxWindows directory
 # or a build directory underneath it.


@@ -8,7 +9,7 @@ if [ ! -f ./configure ]; then
   CONFIG=../configure
 fi
 
   CONFIG=../configure
 fi
 

-CONFIG="$CONFIG --disable-shared --with-motif --without-gtk --enable-debug_flag --enable-debug_info --enable-debug --disable-sockets --disable-odbc --enable-threads --enable-newgrid"
+CONFIG="$CONFIG --disable-shared --with-motif --enable-debug --enable-threads"

 
 echo Invoking $CONFIG
 
 
 echo Invoking $CONFIG