GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — python-docs/scripts/build.sh at main · mnarware/python-docs

Expand file tree

/

build.sh

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
executable file
·
35 lines (28 loc) · 886 Bytes
/

build.sh

Copy path

File metadata and controls

executable file
·
35 lines (28 loc) · 886 Bytes
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#!/bin/sh
# Build translated docs
# Expects input like 'html' and 'latex', defaults to 'html'.
#
# SPDX-License-Identifier: CC0-1.0
set -xeu
if [ -z "$1" ]; then
format=html
else
format="$1"
fi
# Fail earlier if required variables are not set
test -n ${PYDOC_LANGUAGE+x}
cd "$(dirname $0)/.."
mkdir -p logs
# If version is 3.12 or older, set gettext_compact.
# This confval is not needed since 3.12.
# In 3.13, its presence messes 3.13's syntax checking (?)
opts="-D language=${PYDOC_LANGUAGE} --keep-going -w ../../logs/sphinxwarnings-${format}.txt"
minor_version=$(git -C cpython/Doc branch --show-current | sed 's|^3\.||')
if [ $minor_version -lt 12 ]; then
opts="$opts -D gettext_compact=False"
fi
make -C cpython/Doc "${format}" SPHINXOPTS="${opts}"
# Remove empty file
if [ ! -s "logs/sphinxwarnings-${format}.txt" ]; then
rm "logs/sphinxwarnings-${format}.txt"
fi
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.