- Timestamp:
- 2015-05-28T04:12:23Z (9 years ago)
- 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. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
configure
rec8b369 ra1d30c5 681 681 682 682 if [ "$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 687 685 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 703 690 fi 704 691
Note: See TracChangeset
for help on using the changeset viewer.