mirror of
git://git.tartarus.org/simon/puzzles.git
synced 2025-04-21 08:01:30 -07:00
Files
2b1167d82a
I renamed it in a hurry this morning after the first report of a git error message on Windows. Now I realise that several source files referred to the old name, and also need fixing.
24 lines
518 B
Bash
Executable File
24 lines
518 B
Bash
Executable File
#!/bin/sh
|
|
|
|
# Regenerate all the SVG images in the auxiliary/doc directory for
|
|
# hats.html and hatmap.html.
|
|
|
|
set -e
|
|
|
|
hatgen=$1
|
|
|
|
if ! test -x "$hatgen"; then
|
|
echo "Provide pathname to hatgen as an argument" >&2
|
|
exit 1
|
|
fi
|
|
|
|
for tile in H T P F; do
|
|
"$hatgen" "$tile" > single-"$tile".svg
|
|
"$hatgen" c"$tile" > expanded-"$tile".svg
|
|
"$hatgen" h"$tile" > hats-single-"$tile".svg
|
|
"$hatgen" H"$tile" > kitemap-"$tile".svg
|
|
"$hatgen" C"$tile" > metamap-"$tile".svg
|
|
done
|
|
|
|
"$hatgen" --hat > hat-kites.svg
|