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 | f16b051e87b1d983a2cff2d91b32bed5b2a7780f (patch) | |
| tree | 5f0c96e428d6148e735c128b6640db847d36fb0c /configure.in | |
| parent | e0ae851ef37c2510172bf8160ea5325f979075e6 (diff) | |
Remove duplicate entry
Diffstat (limited to 'configure.in')
| -rwxr-xr-x | configure.in | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/configure.in b/configure.in index 66cac9fd9526..f4363dba3621 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. |