From 63ed24043747435fc5b67339248426ca236e0739 Mon Sep 17 00:00:00 2001
From: jacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Date: Sat, 4 Oct 2008 21:49:44 +0000
Subject: [PATCH] Remove strange punctuation.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@8199 cda61777-01e9-0310-a592-d414129be87e
---
 devel.but | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.11.0