Changeset 4d51c84

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:

• configure (modified) (1 diff)

configure

@@ -770 +770 @@
 if [ "$doc" = "1" ]; then
         # check this here just in case someone tries to install it in python2.4...
-        if ! $PYTHON -m xml.etree.ElementTree > /dev/null 2>&1; then
+        if [ ! -e $srcdir/doc/user-guide/help.txt ] && ! $PYTHON -m xml.etree.ElementTree > /dev/null 2>&1; then
                 echo
                 echo 'ERROR: Python (>=2.5 or 3.x) is required to generate docs'