From 99142506323ff36ba403bf260db7e620894d24c1 Mon Sep 17 00:00:00 2001 From: nhmall Date: Wed, 25 Apr 2018 17:36:29 -0400 Subject: [PATCH] Guidebook.tex bit spotted in test pdf generation --- doc/Guidebook.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/Guidebook.tex b/doc/Guidebook.tex index 8e52f70ce..2cbc606bb 100644 --- a/doc/Guidebook.tex +++ b/doc/Guidebook.tex @@ -5260,6 +5260,7 @@ The development team, as well as {\it Steve VanDevender} and operate on various Unix flavors and maintained the X11 interface. %.pg +\medskip {\it Ken Lorber}, {\it Haoyang Wang}, {\it Pat Rankin}, and {\it Dean Luick} maintained the port of {\it NetHack\/} 3.6 for Mac OSX.