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 /src/interp | |
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.
Diffstat (limited to 'src/interp')
-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) |