Nick Mathewson 3266f04925 Fix the check-docs script ... We broke it when we added anchors to the manpage. This patch fixes it, and makes it sorta detect missing anchors.		2014-04-28 12:07:57 -04:00
..
checkLogs.pl	Clean the contrib directory with torch and machete.	2014-04-28 11:34:53 -04:00
checkOptionDocs.pl	Fix the check-docs script	2014-04-28 12:07:57 -04:00
checkSpace.pl	Clean the contrib directory with torch and machete.	2014-04-28 11:34:53 -04:00
findMergedChanges.pl	Clean the contrib directory with torch and machete.	2014-04-28 11:34:53 -04:00
format_changelog.py	Clean the contrib directory with torch and machete.	2014-04-28 11:34:53 -04:00
redox.py	Deal with the aftermath of sorting contrib	2014-04-28 11:59:55 -04:00
updateVersions.pl	Deal with the aftermath of sorting contrib	2014-04-28 11:59:55 -04:00