Convert old input directory names to numbers in a standardized way so all machines will come up with the same result.
Convert old input directory names to numbers in a standardized way so all machines will come up with the same result.


git-svn-id: 98898d48182945044bd4ba440757b4f5b6ba6d1c@643 6b081834-2649-4b4f-abbc-426aeab4333c

prantlf/NaturalDocs,prantlf/NaturalDocs,prantlf/NaturalDocs