diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 10 |
1 files changed, 0 insertions, 10 deletions
@@ -687,16 +687,6 @@ if [ "$doc" = "1" ]; then exit 1 fi echo "DOC=1" >> Makefile.settings - - if [ "$skype" = "1" -o "$skype" = "plugin" ]; then - # skype also needs asciidoc - if ! type a2x > /dev/null 2> /dev/null; then - echo - echo 'WARNING: The skyped man page requires asciidoc. It will not be generated.' - else - echo "ASCIIDOC=1" >> Makefile.settings - fi - fi fi get_version |