Simplifying gendocs.rb interface and Makefile.