[plt-dev] planet remove and scribble

From: Jacob Matthews (jacobm at cs.uchicago.edu)
Date: Fri Feb 6 14:21:53 EST 2009

FWIW, I'm pretty sure I didn't make it do that on purpose. It appears
that you could fix it by just adding (make-docs #f) to the s-exp
beginning (when clean?  ...) in the run-single-installer/internal
function in collects/setup/plt-single-installer.ss, but I don't have
time right now (or a good setup) to verify that.

-jacob

On Fri, Feb 6, 2009 at 10:51 AM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> 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
>>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>
>


Posted on the dev mailing list.