mirror of
https://github.com/fluencelabs/lalrpop
synced 2025-03-27 05:31:04 +00:00
17 lines
429 B
Bash
Executable File
17 lines
429 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# This script builds the LALRPOP tutorial (using `mdbook build`) and
|
|
# then copies the additional sources files that are needed into the
|
|
# right places so that e.g. the links to the calculator and so forth
|
|
# work correctly.
|
|
|
|
ROOT=$(dirname $(dirname $0))
|
|
|
|
set -e
|
|
|
|
cd $ROOT/doc
|
|
mdbook build
|
|
cp -rf calculator pascal whitespace book
|
|
echo "Book has been built into $PWD/book"
|
|
echo "To view, open $PWD/book/index.html"
|