chiark / gitweb /
Remove strange punctuation.
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 4 Oct 2008 21:49:44 +0000 (21:49 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 4 Oct 2008 21:49:44 +0000 (21:49 +0000)
[originally from svn r8199]

devel.but

index 11d198d05901613ad3e1567e2f576806f983ea63..45e05d62f93ba0ead9adb6693ef855aa5c26d63d 100644 (file)
--- 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