Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Add README to documentation Index if no other docs #12
Quite a few distributions have only one extension and no documentation file other than the
So, add a rule to the indexer such that, if the distribution:
Then automatically index the