LIBDIR=
WITH_DOCS=1
WITH_API_DOCS=1
+WITH_PYTHON_DOCS=1
WITH_EMACS=1
WITH_DESKTOP=1
WITH_BASH=1
have_python3_cffi=1
WITH_PYTHON_DOCS=1
else
+ WITH_PYTHON_DOCS=0
printf "No (will not install CFFI-based python bindings).\n"
fi
rm -rf __pycache__ # cffi.FFI().verify() uses this space
PLATFORM=${platform}
EOF
-cat > sphinx.config <<EOF
-# Generated by configure, run from doc/conf.py
-EOF
-if [ $WITH_EMACS = "1" ]; then
- printf "tags.add('WITH_EMACS')\n" >> sphinx.config
-fi
-if [ $WITH_PYTHON_DOCS = "1" ]; then
- printf "tags.add('WITH_PYTHON')\n" >> sphinx.config
-fi
-printf "rsti_dir = '%s'\n" $(realpath emacs) >> sphinx.config
+{
+ echo "# Generated by configure, run from doc/conf.py"
+ if [ $WITH_EMACS = "1" ]; then
+ echo "tags.add('WITH_EMACS')"
+ fi
+ if [ $WITH_PYTHON_DOCS = "1" ]; then
+ echo "tags.add('WITH_PYTHON')"
+ fi
+ printf "rsti_dir = '%s'\n" $(realpath emacs)
+} > sphinx.config
# Finally, after everything configured, inform the user how to continue.
cat <<EOF