diff options
Diffstat (limited to 'gnome2-libs/devicekit-power/BUILD')
-rwxr-xr-x | gnome2-libs/devicekit-power/BUILD | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gnome2-libs/devicekit-power/BUILD b/gnome2-libs/devicekit-power/BUILD index c245b62179..27ba77ddaf 100755 --- a/gnome2-libs/devicekit-power/BUILD +++ b/gnome2-libs/devicekit-power/BUILD @@ -1,5 +1 @@ -if [[ DEVKIT_POWER_MAN == y ]]; then - OPTS="$OPTS --enable-man-pages" default_build -else - OPTS="$OPTS --disable-man-pages" default_build -fi +true |