# which configuration should we use?
if [[ -z "$1" ]]; then
- cfgfile="Doxyfile.all"
+ cfgfile="Doxyfile_all"
else
- cfgfile="Doxyfile.$1"
+ cfgfile="Doxyfile_$1"
fi
#
currpath=`pwd`/
interfacepath=`cd ../../interface && pwd`/
cat doxygen.log | sed -e "s|$currpath||g" -e "s|$interfacepath||g" >temp
-mv temp doxygen.log
-# filter out the following warning which we don't care about
-#cat doxygen.log | grep -v ".*supplied.*as.*the.*argument.*is.*not.*an.*input.*file.*" >temp
-#mv temp doxygen.log
+# Doxygen warnings are not completely sorted for filename; enforce correct sorting:
+cat temp | sort >doxygen.log
+rm temp
+# return to the original folder from which this script was launched
cd $current