You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
495 B
21 lines
495 B
#!/bin/bash
|
|
|
|
function make_doc {
|
|
if [ -z ${1+x} ]; then
|
|
echo "no file specified to make_doc"
|
|
return 1
|
|
elif [ ! -f src/$1.rst ]; then
|
|
echo "File not found! $1.rst"
|
|
else
|
|
echo "Generating HTML and PDF files for ${1} ..."
|
|
cp src/$1.rst .
|
|
rst2html $1.rst $1.html
|
|
rst2latex $1.rst $1.tex
|
|
latex -output-format=pdf $1.tex
|
|
fi
|
|
}
|
|
|
|
make_doc TribitsTutorial_ConvertAProject
|
|
make_doc TribitsTutorial_Dependencies
|
|
make_doc TribitsTutorial_HelloWorld
|
|
make_doc TribitsTutorial_ProjectStructure
|
|
|