chiark / gitweb /
Rename the docs section for Rectangles.
authorSimon Tatham <anakin@pobox.com>
Thu, 7 Jan 2016 19:33:34 +0000 (19:33 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 7 Jan 2016 19:35:32 +0000 (19:35 +0000)
commit1d9d6cbf12733a0e157c6e06cdf1932db77d1cd9
tree9016530e204d31fba7d6a8dfefb27cb35bd55a53
parentfa64ed3e875e005452e5ecd639bd1d6099387bd7
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
rect.c