Closed bashbaug closed 4 years ago
Ping @oddhack - if this PR looks ok could you merge it please?
@bashbaug do you want Maintainer rights on the repository so you can do stuff like this yourself? (if you don't already have them, which I haven't checked).
Discussed in the June 9th teleconference. The PDFs are out-of-date and the Doxygen-generated documentation should be used instead. The PDFs themselves are not removed from the registry, but the links are.