Re: [racket-users] Re-naming Scribble documents

I was specifying a collection, and `--tidy` did the trick! Thanks. -Philip On Wed, Sep 19, 2018 at 1:18 PM Matthew Flatt wrote: > At Wed, 19 Sep 2018 13:12:58 -0500, Philip McGrath wrote: > > I've renamed a Scribble file documenting a package, and now I'm getting > > warnings from `raco

Re: [racket-users] Re-naming Scribble documents

At Wed, 19 Sep 2018 13:12:58 -0500, Philip McGrath wrote: > I've renamed a Scribble file documenting a package, and now I'm getting > warnings from `raco setup` of the form: "WARNING: duplicate tag:" [some tag > from this document] "in: in:" [the document I just renamed]. Is > there a cache