diff options
Diffstat (limited to 'build-aux/sphinx-build')
| -rwxr-xr-x | build-aux/sphinx-build | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/build-aux/sphinx-build b/build-aux/sphinx-build deleted file mode 100755 index 8ecf43a55..000000000 --- a/build-aux/sphinx-build +++ /dev/null @@ -1,34 +0,0 @@ -#!/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 -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# 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 - missing=yes - 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. -EOF -fi - -if test "$2" = "html"; then - if test "$missing" != "yes"; then - sphinx-build $* - else - mkdir -p html - fi -fi |