Download the release with the same version and replace any files
not in version control with those from that release, which should
work around missing tools for building documentation.
(No files)
Note: See TracChangeset
for help on using the changeset viewer.