mirror of
https://github.com/google/comprehensive-rust.git
synced 2025-01-25 06:43:03 +02:00
0761f936ca
Added a dev theme to help with slide aspect ratio while updating content or for reviewing PRs. Fixes #1796. --------- Co-authored-by: Dustin J. Mitchell <djmitche@google.com> Co-authored-by: Martin Geisler <martin@geisler.net>
48 lines
1.9 KiB
Bash
Executable File
48 lines
1.9 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
set -Eeuo pipefail
|
|
|
|
# Usage: build.sh <book-lang> <dest-dir>
|
|
#
|
|
# Build the course as of the date specified specified in the
|
|
# POT-Creation-Date header of po/$book_lang.po. The output can be
|
|
# found in $dest_dir.
|
|
#
|
|
# The src/ and third_party/ directories are left in a dirty state so
|
|
# you can run `mdbook test` and other commands afterwards.
|
|
|
|
book_lang=${1:?"Usage: $0 <book-lang> <dest-dir>"}
|
|
dest_dir=${2:?"Usage: $0 <book-lang> <dest-dir>"}
|
|
|
|
if [ "$book_lang" = "en" ]; then
|
|
echo "::group::Building English course"
|
|
else
|
|
pot_creation_date=$(grep --max-count 1 '^"POT-Creation-Date:' "po/$book_lang.po" | sed -E 's/".*: (.*)\\n"/\1/')
|
|
pot_creation_date=${pot_creation_date:-now}
|
|
echo "::group::Building $book_lang translation as of $pot_creation_date"
|
|
|
|
# Back-date the sources to POT-Creation-Date. The content lives in two
|
|
# directories:
|
|
rm -r src/ third_party/
|
|
git restore --source "$(git rev-list -n 1 --before "$pot_creation_date" @)" src/ third_party/
|
|
# Set language and adjust site URL. Clear the redirects since they are
|
|
# in sync with the source files, not the translation.
|
|
export MDBOOK_BOOK__LANGUAGE=$book_lang
|
|
export MDBOOK_OUTPUT__HTML__SITE_URL=/comprehensive-rust/$book_lang/
|
|
export MDBOOK_OUTPUT__HTML__REDIRECT='{}'
|
|
|
|
# Include language-specific Pandoc configuration
|
|
if [ -f ".github/pandoc/$book_lang.yaml" ]; then
|
|
export MDBOOK_OUTPUT__PANDOC__PROFILE__PDF__DEFAULTS=".github/pandoc/$book_lang.yaml"
|
|
fi
|
|
fi
|
|
|
|
mdbook build -d "$dest_dir"
|
|
|
|
# Disable the redbox button in built versions of the course
|
|
echo '// Disabled in published builds, see build.sh' > "${dest_dir}/html/theme/redbox.js"
|
|
|
|
mv "$dest_dir/pandoc/pdf/comprehensive-rust.pdf" "$dest_dir/html/"
|
|
(cd "$dest_dir/exerciser" && zip --recurse-paths ../html/comprehensive-rust-exercises.zip comprehensive-rust-exercises/)
|
|
|
|
echo "::endgroup::"
|