fixed the --prune & --ignore options of buildhtml.py