doc.pl - Makes documentation.