fix tools/docs.py (#4210)

This commit is contained in:
Ryan Dahl 2020-03-02 10:22:12 -05:00 committed by GitHub
parent 6cd46fa3ef
commit c14cc84a85
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,7 +13,7 @@ os.chdir(os.path.join(root_path, "cli/js"))
# You must have typedoc installed seprately.
# TODO Replace typedoc with something else ASAP. It's very awful.
run([
"typedoc", "lib.deno_runtime.d.ts", "--out",
"typedoc", "lib.deno.ns.d.ts", "--out",
os.path.join(target_path, "typedoc"), "--entryPoint", "Deno",
"--ignoreCompilerErrors", "--includeDeclarations", "--excludeExternals",
"--excludePrivate", "--excludeProtected", "--mode", "file", "--name",