Newer
Older
# Making sure that plumed executable is available
echo -n "Searching for plumed ..."
if plumed 2>/dev/null 1>/dev/null ; then
echo " found"
else
echo " not found"
echo -n "Sourcing sourceme.sh and searching again ..."
if source ../sourceme.sh && plumed 2>/dev/null 1>/dev/null ; then
echo " found"
else
echo "ERROR: you should compile plumed first!"
exit 1
fi
fi
LIST="
IntroPP.txt ../CHANGES InstallationPP.txt SyntaxPP.txt ColvarPP.txt GroupPP.txt FunctionsPP.txt AnalysisPP.txt
BiasPP.txt ToolsPP.txt MiscPP.txt RegexPP.txt ModulesPP.txt TutorialsPP.txt GlossaryPP.txt automatic tutorials"
{
cat Doxyfile
echo "PROJECT_NUMBER = \"$(plumed info --version)\""
echo "INPUT+=" $LIST
# add this to manually control layout:
# echo "LAYOUT_FILE=PlumedLayout.xml"