- Timestamp:
- 2017-07-09T03:10:53Z (7 years ago)
- Branches:
- master
- Children:
- a9e0de2
- Parents:
- b9c10a1
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
configure
rb9c10a1 r4d51c84 770 770 if [ "$doc" = "1" ]; then 771 771 # 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; then772 if [ ! -e $srcdir/doc/user-guide/help.txt ] && ! $PYTHON -m xml.etree.ElementTree > /dev/null 2>&1; then 773 773 echo 774 774 echo 'ERROR: Python (>=2.5 or 3.x) is required to generate docs'
Note: See TracChangeset
for help on using the changeset viewer.