aboutsummaryrefslogtreecommitdiff
path: root/doc/htmltidy.bash
AgeCommit message (Expand)AuthorLines
2008-07-09Use /usr/bin/env bash instead of /bin/bash for the shebang of shell scripts.Avatar Mike Kelly -1/+1
2007-10-30If --enable-htmltidy, use htmltidy to verify generated documentation. Fix cur...Avatar Ciaran McCreesh -0/+9