Use README.txt as @mainpage.