Fixed makedoc.sh error due to an indentation bug.