Changeset 4d51c84


Ignore:
Timestamp:
2017-07-09T03:10:53Z (7 years ago)
Author:
dequis <dx@…>
Branches:
master
Children:
a9e0de2
Parents:
b9c10a1
Message:

configure: Don't require python if docs are already built

File:
1 edited

Legend:

Unmodified
Added
Removed
  • configure

    rb9c10a1 r4d51c84  
    770770if [ "$doc" = "1" ]; then
    771771        # check this here just in case someone tries to install it in python2.4...
    772         if ! $PYTHON -m xml.etree.ElementTree > /dev/null 2>&1; then
     772        if [ ! -e $srcdir/doc/user-guide/help.txt ] && ! $PYTHON -m xml.etree.ElementTree > /dev/null 2>&1; then
    773773                echo
    774774                echo 'ERROR: Python (>=2.5 or 3.x) is required to generate docs'
Note: See TracChangeset for help on using the changeset viewer.