update-doxygen-doc.sh: fix (doxygen/HEAD may not exist).