summaryrefslogtreecommitdiff
path: root/contrib/update-pp.sh
blob: db31ba18a8f35d4eaf2d83b2616c3c6d269ef7c1 (plain)
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
#!/bin/sh
# This file is in the public domain

# Should be called with the list of languages to generate, i.e.
# $ ./update-pp.sh en de fr it

# Error checking on
set -eu
echo "Generating PP for ETag $VERSION"

rm -f sphinx.log sphinx.err
# We process inputs using Makefile in tos/ directory
cd pp
for l in $@
do
    mkdir -p $l
    echo Generating PP for language $l
    # 'f' is for the supported formats, note that the 'make' target
    # MUST match the file extension.
    for f in html txt pdf epub xml
    do
        rm -rf _build
        echo "  Generating format $f"
        make -e SPHINXOPTS="-D language='$l'" $f >>sphinx.log 2>>sphinx.err < /dev/null
        mv _build/$f/pp.$f $l/${VERSION}.$f
    done
done
cd ..