I could certainly change that use a doc subdirectories if people think that's the right thing.
Robby On Saturday, March 14, 2015, Jon Zeppieri <zeppi...@gmail.com> wrote: > While I'm writing documentation, I often use DrRacket to generate > HTML, and -- at least, with my configuration as-is -- it creates files > in the same directory where the .scrbl files are. Is there a way to > change the destination directory used by DrRacket's scribble mode? > > > On Sat, Mar 14, 2015 at 2:38 PM, Matthew Flatt <mfl...@cs.utah.edu > <javascript:;>> wrote: > > Ignoring "compiled" is right, but documentation goes to "doc". The > > "compiled" and "doc" directories should cover all files that are > > generated by Racket tools. > > > > At Sun, 15 Mar 2015 02:33:10 +0800, WarGrey Gyoudmon Ju wrote: > >> I use ./compiled as the dest directory so that all generated files can > be > >> omitted in .gitignore once and for all. > >> > >> > >> > >> On Sun, Mar 15, 2015 at 1:30 AM, Jon Zeppieri <zeppi...@gmail.com > <javascript:;>> wrote: > >> > >> > I've been looking at the .gitignore files in various racket packages, > >> > and the ones I've seen don't ignore files generated by scribble (.html > >> > .css, etc.). So what is the common practice for keeping those files > >> > out of source control? > >> > ____________________ > >> > Racket Users list: > >> > http://lists.racket-lang.org/users > >> > > >> ____________________ > >> Racket Users list: > >> http://lists.racket-lang.org/users > ____________________ > Racket Users list: > http://lists.racket-lang.org/users >
____________________ Racket Users list: http://lists.racket-lang.org/users
