blob: a87971048a9d12164ec06f3ad8f0c55c972196ae (
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/systemtap.examples en-US/extras/extras
make $PARM $TARG
echo "Cleaning sync'd files..."
rm -rf en-US/extras/extras
echo "...done."
|
