check pretty name

2018-01-15 01:48:17 -05:00 · 2018-01-15 01:48:17 -05:00 · fdd96b1583
commit fdd96b1583
parent 8db8e4037c
1 changed files with 1 additions and 0 deletions
--- a/doxy_gen_and_deploy.sh
+++ b/doxy_gen_and_deploy.sh
@ -93,6 +93,7 @@ if [ ! -f ${DOXYFILE} ]; then
    sed -i "s/^INPUT .*/INPUT = ..\/../"  ${DOXYFILE}

    # If we can, fix up the name
+    echo $PRETTYNAME
    if [ -z "$PRETTYNAME" ]; then
 	sed -i "s/^PROJECT_NAME.*/PROJECT_NAME = \"${PRETTYNAME}\"/"  ${DOXYFILE}
    fi