diff options
author | Tomáš Chvátal <tomas.chvatal@gmail.com> | 2011-08-02 13:03:09 +0200 |
---|---|---|
committer | Caolán McNamara <caolanm@redhat.com> | 2011-08-02 13:52:35 +0100 |
commit | 35ff5f56e3ae311b8f87ba023afdfeb615a85c51 (patch) | |
tree | 6966153b581624a1ad1245a5e9e1c99efa79e18a | |
parent | 27a4e0dc8e1aa8f7445844ee7d5a9640868a9c1c (diff) |
Remove duplicate entry
-rwxr-xr-x | configure.in | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/configure.in b/configure.in index 66cac9fd9..f4363dba3 100755 --- a/configure.in +++ b/configure.in @@ -550,12 +550,6 @@ AC_ARG_WITH(theme, Possible choices: *default, *crystal, *hicontrast, *oxygen, *tango, classic, industrial.]), ,) -AC_ARG_WITH(theme, - AS_HELP_STRING([--with-theme="theme1 theme2..."], - [Choose which themes to include. By default those themes with an '*' are included. - Possible choices: *default, *crystal, *hicontrast, *oxygen, *tango, classic, industrial.]), -,) - AC_ARG_WITH(extension-integration, AS_HELP_STRING([--with-extension-integration], [It will integrate the builded extensions to the installer of the product. |