From 10101cf1dab755b92c9a98f38d0eb77f9f1fddd9 Mon Sep 17 00:00:00 2001 From: nhmall Date: Wed, 17 Aug 2022 21:32:24 -0400 Subject: [PATCH] CI build failure following 694a7418 CI reported a problem with the documentation job. --- doc/Guidebook.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Guidebook.tex b/doc/Guidebook.tex index 31545dde8..5eb1467ac 100644 --- a/doc/Guidebook.tex +++ b/doc/Guidebook.tex @@ -865,7 +865,7 @@ There are four categories of object filtering: class (`{\tt !}' for potions, `{\tt ?}' for scrolls, and so on), shop status (`{\tt u}' for unpaid, in other words, owned by the shop), bless/curse state (`{\tt B}', `{\tt U}', `{\tt C}', and `{\tt X}' as shown above), -and novelty (`{\tt P, recently picked up items; controlled by picking +and novelty (`{\tt P}', recently picked up items; controlled by picking up or dropping things rather than by any time factor). %.lp "" \\