diff options
Diffstat (limited to 'build_tools')
| -rwxr-xr-x | build_tools/build_documentation.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build_tools/build_documentation.sh b/build_tools/build_documentation.sh index 7a210973..43473460 100755 --- a/build_tools/build_documentation.sh +++ b/build_tools/build_documentation.sh @@ -32,9 +32,9 @@ DOXYFILE=`resolve_path "$DOXYFILE"` INPUTDIR=`resolve_path "$INPUTDIR"` OUTPUTDIR=`resolve_path "$OUTPUTDIR"` -echo "\t doxygen file: $DOXYFILE" -echo "\t input directory: $INPUTDIR" -echo "\toutput directory: $OUTPUTDIR" +echo " doxygen file: $DOXYFILE" +echo " input directory: $INPUTDIR" +echo " output directory: $OUTPUTDIR" # Make sure INPUTDIR is found if test ! -d "$INPUTDIR"; then |