Enhancements for the scribble language (a documentation language based on Racket)
Go to file
Matthew Flatt a8347bf1b2 scribble/base: add an #:indirect' option to other-doc'
original commit: 6c78bb056371ceebe26d5e7748bbd1241e668278
2013-07-12 14:52:42 -06:00
pkgs scribble/base: add an #:indirect' option to other-doc' 2013-07-12 14:52:42 -06:00