fixed .ss name in title

This commit is contained in:
Matthias Felleisen 2013-03-07 09:06:59 -05:00
parent ef189b8e6e
commit c13d603c0e
2 changed files with 2 additions and 2 deletions

View File

@ -37,7 +37,7 @@
datatypes are currently linked as technical terms --- which is a hack. datatypes are currently linked as technical terms --- which is a hack.
Fix the paragraph when we have a better way to link datatype names.} Fix the paragraph when we have a better way to link datatype names.}
This @tt{universe.rkt} teachpack implements and provides the functionality The @tt{universe.rkt} teachpack implements and provides the functionality
for creating interactive, graphical programs that consist of plain for creating interactive, graphical programs that consist of plain
mathematical functions. We refer to such programs as @deftech{world} mathematical functions. We refer to such programs as @deftech{world}
programs. In addition, world programs can also become a part of a programs. In addition, world programs can also become a part of a

View File

@ -7,7 +7,7 @@
(define (teachpack tp . name) (define (teachpack tp . name)
(apply title #:tag tp (apply title #:tag tp
`(,@name ": " ,(filepath (format "~a.ss" tp)) `(,@name ": " ,(filepath (format "~a.rkt" tp))
,(index (format "~a teachpack" tp))))) ,(index (format "~a teachpack" tp)))))
(define-syntax-rule (def-req beg-require) (define-syntax-rule (def-req beg-require)