From 1d9d6cbf12733a0e157c6e06cdf1932db77d1cd9 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Thu, 7 Jan 2016 19:33:34 +0000 Subject: Rename the docs section for Rectangles. The web page currently assumes it's called 'rect' rather than 'rectangles', because the web-page building script uses the first field of each line of gamedesc.txt, same as the Unix binary name. Rather than add another confusingly-almost-identical field to that file, it's easier to just rename this one docs section to make the assumption of equality hold. --- puzzles.but | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'puzzles.but') diff --git a/puzzles.but b/puzzles.but index dfb5803..ac7f564 100644 --- a/puzzles.but +++ b/puzzles.but @@ -760,7 +760,7 @@ for, the more likely it is that solutions shorter than the target length will turn out to be possible. -\C{rectangles} \i{Rectangles} +\C{rect} \i{Rectangles} \cfg{winhelp-topic}{games.rectangles} -- cgit v1.1