From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Sat, 4 Oct 2008 21:49:44 +0000 (+0000)
Subject: Remove strange punctuation.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=736da74ebae173f57823d66d40974d6a7bc0f434;p=sgt-puzzles.git

Remove strange punctuation.

[originally from svn r8199]
---

diff --git a/devel.but b/devel.but
index 11d198d..45e05d6 100644
--- a/devel.but
+++ b/devel.but
@@ -170,7 +170,7 @@ other miscellaneous functions. All of these are documented in
 
 There are a number of function call interfaces within Puzzles, and
 this guide will discuss each one in a chapter of its own. After
-that, (\k{writing}) discusses how to design new games, with some
+that, \k{writing} discusses how to design new games, with some
 general design thoughts and tips.
 
 \C{backend} Interface to the back end