[plt-dev] planet remove and scribble

I'm not sure myself, but I think that it needs to do that to rebuild
the index, but perhaps it is doing it wrong?

Robby

On Fri, Feb 6, 2009 at 12:48 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> 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
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>