Updated doc_gen.pl