From e30444462067f20b5bb93ea67dab385eef46359b Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Sat, 11 Aug 2007 00:04:59 +0000
Subject: [PATCH] better error when a manual is not found in known-docs

svn: r7080
---
 collects/help/private/gui.ss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/help/private/gui.ss b/collects/help/private/gui.ss
index 5195f19f95..971e428ec4 100644
--- a/collects/help/private/gui.ss
+++ b/collects/help/private/gui.ss
@@ -146,6 +146,10 @@
 				      (not (has-index-installed? path)))
 				  ;; Manual not installed...
 				  (let ([doc-pr (assoc (string->path manual) known-docs)])
+                                    (unless doc-pr
+                                      (error 'remap-url
+                                             "Internal error: manual ~s not found in known-docs"
+                                             manual))
 				    (string->url
 				     (make-missing-manual-url manual
 							      (cdr doc-pr)