rename start page to 'PLT Scheme'
svn: r10001
This commit is contained in:
parent
f2cf321d4e
commit
3d4761f027
|
@ -13,7 +13,7 @@
|
|||
;; user-specific pages using cookies). (Note: the subpath must match
|
||||
;; where the corresponding document is generated, this is a hack.)
|
||||
(define links
|
||||
`((start "PLT Manuals" user "index.html")
|
||||
`((start "PLT Scheme" user "index.html")
|
||||
(search "Search Manuals" user "search/index.html")
|
||||
---
|
||||
(license "License" plt "license/index.html")
|
||||
|
|
Loading…
Reference in New Issue
Block a user