From: Simon Tatham <anakin@pobox.com>
Date: Sun, 3 Apr 2011 07:55:18 +0000 (+0000)
Subject: Move up midend_is_solved() in the developer docs from subheading to
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=2054da9f682680392ce28a04333ca659479d9606;p=sgt-puzzles.git

Move up midend_is_solved() in the developer docs from subheading to
heading level. It's _almost_ apt to have it as a subheading of
midend_solve(), but not quite, and it certainly wasn't intentional - I
must have absentmindedly typed the wrong Halibut command letter.

[originally from svn r9142]
---

diff --git a/devel.but b/devel.but
index 571b960..5e9ff22 100644
--- a/devel.but
+++ b/devel.but
@@ -3118,7 +3118,7 @@ The front end can expect its drawing API and/or
 \cw{activate_timer()} to be called from within a call to this
 function.
 
-\S{midend-is-solved} \cw{midend_is_solved()}
+\H{midend-is-solved} \cw{midend_is_solved()}
 
 \c int midend_is_solved(midend *me);