configure installation of man pages

original commit: d7d1739d4f3c4799cfb31d98aa14247eae39bd06
2013-07-22 13:21:09 -06:00 · 2013-07-22 13:21:09 -06:00 · bb0c051c0b
commit bb0c051c0b
parent 716a40773f
2 changed files with 2 additions and 0 deletions
--- a/pkgs/gui-pkgs/gui-lib/mred/info.rkt
+++ b/pkgs/gui-pkgs/gui-lib/mred/info.rkt
@ -2,6 +2,7 @@

 (define version '(400))
 (define post-install-collection "installer.rkt")
+(define copy-man-pages '("mred.1"))

 (define release-note-files
  '(("GRacket and racket/gui" "HISTORY.txt"
--- a/pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt
+++ b/pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt
@ -1,3 +1,4 @@
 #lang info

 (define post-install-collection "installer.rkt")
+(define copy-man-pages '("gracket.1"))