diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-22 16:19:04 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-22 16:19:04 -0800 |
commit | c8d6a86fcc61c4bee855fc2cfa2ae7338f2084f8 (patch) | |
tree | 447fa32b55597d48e787b434b7fad285a4eb2597 | |
parent | 7b6b9b1e80d0fe90a9009864f107735d244aa0d7 (diff) | |
download | open-axiom-c8d6a86fcc61c4bee855fc2cfa2ae7338f2084f8.tar.gz |
finalizeLisplib: skip category packages
The documentation for the operations from category packages is already
present in the original category, so there is no value in duplicating
them for the default packages.
-rw-r--r-- | src/interp/lisplib.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index a47ed36c..e2eb834d 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -580,7 +580,7 @@ finalizeLisplib(db,libName) == writeAbbreviation db writePrincipals db writeAncestors db - if not $bootStrapMode then + if not $bootStrapMode and not dbDefaultPackage? db then writeDocumentation(db,finalizeDocumentation db) if $profileCompiler then profileWrite dbLibstream db leaveIfErrors(libName,dbConstructorKind db) |