diff --git a/collects/mztake/doc.txt b/collects/mztake/doc.txt index 808e3de467..e6bd97b6e8 100644 --- a/collects/mztake/doc.txt +++ b/collects/mztake/doc.txt @@ -108,9 +108,9 @@ confirm (or refute!) that they are working correctly. Installing MzTake MzTake is a DrScheme tool distributed as a self-installing -".PLT" file from the PLaneT Package Repository. +".PLT" file from the following web site: - http://planet.plt-scheme.org/ + http://www.cs.brown.edu/research/plt/software/mztake/ MzTake requires PLT Scheme v208 and higher. diff --git a/collects/mztake/make-plt.ss b/collects/mztake/make-plt.ss index 6ee06be828..cfe95b5ae6 100644 --- a/collects/mztake/make-plt.ss +++ b/collects/mztake/make-plt.ss @@ -1,27 +1,27 @@ -(module make-plt mzscheme - - (require (lib "pack.ss" "setup") - (lib "util.ss" "planet")) - - (define (my-filter path) - (and (std-filter path) - (not (or (regexp-match #rx".svn$" path) - (regexp-match #rx".bak$" path) - (regexp-match #rx".1$" path) - (regexp-match #rx"make" path))))) - - ;For use with PLaneT - (parameterize ((current-directory ".")) - (pack "mztake-planet.plt" - "MzTake Debugger" - '(".") - '() - my-filter - #t - 'file - #f - #f - '(("frtime") ("stepper")))) - - ; for use not on PLaneT +(module make-plt mzscheme + + (require (lib "pack.ss" "setup") + #;(lib "util.ss" "planet")) + + (define (my-filter path) + (and (std-filter path) + (not (or (regexp-match #rx".svn$" path) + (regexp-match #rx".bak$" path) + (regexp-match #rx".1$" path) + (regexp-match #rx"make" path))))) + + ;For use with PLaneT + #;(parameterize ((current-directory ".")) + (pack "mztake-planet.plt" + "MzTake Debugger" + '(".") + '() + my-filter + #t + 'file + #f + #f + '(("frtime") ("stepper")))) + + ; for use not on PLaneT (pack-collections "mztake-distro.plt" "MzTake Debugger" '(("mztake")) #t '(("frtime") ("stepper")) my-filter)) \ No newline at end of file