Fix references to the renamed 'auxiliary' directory.

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.
This commit is contained in:
Simon Tatham
2023-03-27 19:31:14 +01:00
parent 0af537d2c0
commit 2b1167d82a
4 changed files with 8 additions and 8 deletions

View File

@ -1,7 +1,7 @@
#!/bin/sh
# Regenerate all the SVG images in the aux/doc directory for hats.html
# and hatmap.html.
# Regenerate all the SVG images in the auxiliary/doc directory for
# hats.html and hatmap.html.
set -e