Docs list is hardcoded into configure.py, and was out of date WRT recent changes. Just copy all .txt files from doc and call it good...
Docs list is hardcoded into configure.py, and was out of date WRT
recent changes. Just copy all .txt files from doc and call it good...

randombit/botan,randombit/botan,webmaster128/botan,webmaster128/botan,Rohde-Schwarz-Cybersecurity/botan,webmaster128/botan,Rohde-Schwarz-Cybersecurity/botan,Rohde-Schwarz-Cybersecurity/botan,webmaster128/botan,webmaster128/botan,randombit/botan,randombit/botan,Rohde-Schwarz-Cybersecurity/botan,randombit/botan,Rohde-Schwarz-Cybersecurity/botan,Rohde-Schwarz-Cybersecurity/botan