blob: 8ecf43a551e78532cc4ebfd841d7cc544dfc13d3 [file] [log] [blame]
#!/bin/sh -e
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
# License for the specific language governing permissions and limitations under
# the License.
# This script is called by the build system and is used to call sphinx-build if
# is is available, or alternatively, emit a warning, and perform a no-op. Any
# required directories or Makefiles are created and stubbed out as appropriate.
if test -z "`which sphinx-build`"; then
cat << EOF
WARNING: 'sphinx-build' is needed, and is missing on your system.
You might have modified some files without having the
proper tools for further handling them.
if test "$2" = "html"; then
if test "$missing" != "yes"; then
sphinx-build $*
mkdir -p html