banner copyDirectory copyDocIfPossible copyIncludeIfPresent copyOrMakeDoc createDir fileExtension getImports getModInfo includeDir main makeAbsolute makeCompleteDoc makeDoc makeDocIfNecessary makeDocWithComments makeIndexPages makeSystemLibsIndex prepareDocDir printUsageMessage processArgs processOpts readAnaInfo readTypesFuncsWithImports writeOutfile