Create numdocs.pl