lalrpop/tools/build-doc

#!/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"
Adjust links to static resources and introduce build script for doc 2018-01-31 12:45:11 +01:00			`#!/bin/bash`
comment the purpose of the `build-doc` script 2018-02-04 06:42:49 -05:00			`#`
			# 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.`
Adjust links to static resources and introduce build script for doc 2018-01-31 12:45:11 +01:00
			`ROOT=$(dirname $(dirname $0))`

			`set -e`

			`cd $ROOT/doc`
			`mdbook build`
tweak authorship and make the `build-doc` script run on mac 2018-02-04 06:41:41 -05:00			`cp -rf calculator pascal whitespace book`
			`echo "Book has been built into $PWD/book"`
			`echo "To view, open $PWD/book/index.html"`