blob: 75e8bd0d49759d7ef56afa1a97fe62ee312dee5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/bash
# Instead of running the original makefile to build the document, run this script instead
echo -n "Please specify your build target (e.g. html-en-US, pdf-en-US, etc) "
read TARG
echo -n "Thank you. Now specify any build parameters you'd like to use (skip this step for none). "
read PARM
cp -a ../../testsuite en-US/extras/.
make $PARM $TARG
echo "Cleaning sync'd files..."
rm -rf en-US/extras/testsuite
echo "...done."
|
