From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 8 Mar 2023 01:30:09 +0000 (-0800)
Subject: Fix typo in manual.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=312c1f22e9740afa6b6d2eff88fb49826917f35f;p=pspp

Fix typo in manual.

Reported by knassen@chartermi.net.
---

diff --git a/doc/utilities.texi b/doc/utilities.texi
index 5062ead2eb..6b752fbc03 100644
--- a/doc/utilities.texi
+++ b/doc/utilities.texi
@@ -1020,7 +1020,7 @@ SHOW
         [CCD]
         [CCE]
         [COPYING]
-        [DECIMALS]
+        [DECIMAL]
         [DIRECTORY]
         [ENVIRONMENT]
         [FORMAT]