Changeset a1d30c5 for configure


Ignore:
Timestamp:
2015-05-28T04:12:23Z (9 years ago)
Author:
dequis <dx@…>
Children:
d2d2b80
Parents:
ec8b369 (diff), 3d31618 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'develop' into feat/hip-cat

File:
1 edited

Legend:

Unmodified
Added
Removed
  • configure

    rec8b369 ra1d30c5  
    681681
    682682if [ "$doc" = "1" ]; then
    683         if [ ! -e doc/user-guide/help.txt ] && \
    684              ! type xmlto > /dev/null 2> /dev/null || \
    685              ! type xsltproc > /dev/null 2> /dev/null
    686         then
     683        # check this here just in case someone tries to install it in python2.4...
     684        if ! python -m xml.etree.ElementTree > /dev/null 2>&1; then
    687685                echo
    688                 echo 'WARNING: Building from an unreleased source tree without prebuilt helpfile.'
    689                 echo 'Install xmlto and xsltproc if you want online help to work.'
    690         else
    691                 echo "DOC=1" >> Makefile.settings
    692         fi
    693 
    694         if [ "$skype" = "1" -o "$skype" = "plugin" ]; then
    695                 # skype also needs asciidoc
    696                 if ! type a2x > /dev/null 2> /dev/null; then
    697                         echo
    698                         echo 'WARNING: The skyped man page requires asciidoc. It will not be generated.'
    699                 else
    700                         echo "ASCIIDOC=1" >> Makefile.settings
    701                 fi
    702         fi
     686                echo 'ERROR: Python (>=2.5 or 3.x) is required to generate docs'
     687                exit 1
     688        fi
     689        echo "DOC=1" >> Makefile.settings
    703690fi
    704691
Note: See TracChangeset for help on using the changeset viewer.