From bb0c051c0b6ba700531d01948b60194fec5d8579 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 22 Jul 2013 13:21:09 -0600 Subject: [PATCH] configure installation of man pages original commit: d7d1739d4f3c4799cfb31d98aa14247eae39bd06 --- pkgs/gui-pkgs/gui-lib/mred/info.rkt | 1 + pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt | 1 + 2 files changed, 2 insertions(+) diff --git a/pkgs/gui-pkgs/gui-lib/mred/info.rkt b/pkgs/gui-pkgs/gui-lib/mred/info.rkt index ccd18bf5..7f7cafc5 100644 --- 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" diff --git a/pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt b/pkgs/gui-pkgs/gui-lib/racket/gui/info.rkt index c2f4ab10..481f2b13 100644 --- 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"))