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> 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> 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
