[plt-scheme] rendering: scribblings/main/user/master-index.scrbl

The planet command-line tool should expose the behavior of the
underlying setup-plt that allows you to disable building docs. It
currently doesn't. It is on my list of things to work on, but I won't
have time in the next few weeks. The code should be straight forward
though, if you want to scratch this itch. I am happy to advise and
test if you (Synx) or anyone wants to take it on.

Jay

On Tue, Dec 8, 2009 at 12:09 PM, Synx <plt at synx.us.to> wrote:
>
> Is there any way I can disable the behavior, where planet regenerates
> the search index for everything, every time I install (or remove) a
> package? It takes at least an entire minute to complete, and I never use
> the damn thing anyway. And the package docs supposedly indexed still
> remain unsearchable via doc/search/index.html. It's extremely annoying
> when I'm trying to remove and fileinject packages rapidly to test if my
> changes have worked correctly, to have to sit there and wait for planet
> to make a huge conglomerate index file all over again every time.
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93