From 5c14def43fe35989748726d23d5e998a13e1b0f7 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 5 Jul 2013 07:17:40 -0600
Subject: [PATCH] pkg/strip: allow any info library path

---
 racket/lib/collects/pkg/strip.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/racket/lib/collects/pkg/strip.rkt b/racket/lib/collects/pkg/strip.rkt
index b24f84706a..1e57518ba4 100644
--- a/racket/lib/collects/pkg/strip.rkt
+++ b/racket/lib/collects/pkg/strip.rkt
@@ -197,8 +197,8 @@
     ;; convert:
     (define new-content
       (match content
-        [`(module info info (#%module-begin . ,defns))
-         `(module info info
+        [`(module info ,info-lib (#%module-begin . ,defns))
+         `(module info ,info-lib
             (#%module-begin
              (define assume-virtual-sources '())
              . ,(filter values