From 4053cb1e16f41ed481c8900aa4e2bf93d5d003e4 Mon Sep 17 00:00:00 2001
From: Leif Andersen <leif@leifandersen.net>
Date: Tue, 26 Jul 2016 10:30:05 -0400
Subject: [PATCH] gui-doc now depends on xrepl doc.

---
 gui-doc/info.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gui-doc/info.rkt b/gui-doc/info.rkt
index 7d46247b..586ce7ca 100644
--- a/gui-doc/info.rkt
+++ b/gui-doc/info.rkt
@@ -15,7 +15,8 @@
                      "gui-lib"
                      "pict-lib"
                      "racket-doc"
-                     "string-constants-doc"))
+                     "string-constants-doc"
+                     "xrepl-doc"))
 (define deps '("base"))
 (define update-implies '("gui-lib"))