Allow art provider IDs for the extra bitmaps in a wxBitmapButton. (The

[wxWidgets.git] / wxPython / distrib / all / build-docs

diff --git a/wxPython/distrib/all/build-docs b/wxPython/distrib/all/build-docs
index 24b72f3931f9ef675371be43ec783b456d660fa1..3c982706d8d9e5627653f75a018376bbdf43938b 100755 (executable)
--- a/wxPython/distrib/all/build-docs
+++ b/wxPython/distrib/all/build-docs
@@ -3,8 +3,10 @@
 
 set -o errexit
 
+set
+
 # read the config variables from the file given on the command line
-. $1
+# . $1
 
 
 if [ $skipdocs != yes ]; then