[plt-dev] planet remove and scribble
Is there a reason why "planet remove" builds the scribble
documentation for the package being removed? Is this a bug, or some
odd technicality to maintain consistency of the collections?
% planet remove cce dracula.plt 8 0
============= Removing (cce dracula.plt 8 0) =============
setup-plt: version: 4.1.4.2 [3m]
setup-plt: variants: 3m
setup-plt: main collects: /Users/cce/plt/main/collects
setup-plt: collects paths:
setup-plt: /Users/cce/Library/PLT Scheme/4.1.4.2/collects
setup-plt: /Users/cce/plt/main/collects
setup-plt: --- cleaning collections ---
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/acl2
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/drscheme
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/guide
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/lang
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/lang/primitive-procedures
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/modular
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/modular/lang
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/private
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/proof
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/reference
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/reference/acl2
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/reference/modular
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/reference/teachpacks
setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/teachpacks
setup-plt: --- updating info-domain tables ---
setup-plt: updating: /Users/cce/Library/PLT Scheme/planet/300/4.1.4.2/cache.ss
setup-plt: --- building documentation ---
setup-plt: running: <planet>/cce/dracula.plt/8/0/guide/guide.scrbl
setup-plt: running: <planet>/cce/dracula.plt/8/0/reference/reference.scrbl
[snipped lots of stuff about other documents]
setup-plt: WARNING: undefined tag in
<planet>/cce/dracula.plt/8/0/guide/guide.scrbl:
setup-plt: ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") defun)
setup-plt: ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") =)
setup-plt: ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") +)
setup-plt: ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") t)
setup-plt: ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") defstub)
setup-plt: ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") defaxiom)
setup-plt: ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") *)
setup-plt: ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") defthm)
setup-plt: WARNING: undefined tag in
<planet>/cce/dracula.plt/8/0/reference/reference.scrbl:
setup-plt: ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") mv)
setup-plt: ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") equal)
setup-plt: ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") lexorder)
setup-plt: ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") union-eq)
setup-plt: ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") cdar)
setup-plt: ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") make-list)
[snipped lots more undefined tags like this]
setup-plt: rendering: <planet>/cce/dracula.plt/8/0/guide/guide.scrbl
setup-plt: rendering: <planet>/cce/dracula.plt/8/0/reference/reference.scrbl
setup-plt: --- post-installing collections ---
setup-plt: done
Erasing metadata
Deleting files in /Users/cce/Library/PLT
Scheme/planet/300/4.1.4.2/cache/cce/dracula.plt/8/0
Trimming empty directories
--
Carl Eastlund