Take wxBORDER_THEME, and the default border style, into account

[wxWidgets.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index d260788331314000fb2825c82605e8d2def10cd4..700e3c8c79693c7363e67793ce64638dbeeb2977 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -306,6 +306,7 @@ ALL_BASE_HEADERS =  \
        wx/chartype.h \
        wx/chkconf.h \
        wx/clntdata.h \
+       wx/cmdargs.h \
        wx/cmdline.h \
        wx/confbase.h \
        wx/config.h \
@@ -447,6 +448,7 @@ ALL_PORTS_BASE_HEADERS =  \
        wx/chartype.h \
        wx/chkconf.h \
        wx/clntdata.h \
+       wx/cmdargs.h \
        wx/cmdline.h \
        wx/confbase.h \
        wx/config.h \