Enhancements for the scribble language (a documentation language based on Racket)
Go to file
Matthew Flatt 95776e21cd link development-mode packages in a separate pkg database
Use `PKGS' with the top-level makefile to select packages for
a development-mode build. The default is "main-distribution",
which includes all packages in "pkgs".

original commit: d450ee97075ef92e3356b6ae27e8a53419dd9732
2013-06-27 21:52:23 -06:00
pkgs link development-mode packages in a separate pkg database 2013-06-27 21:52:23 -06:00