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