# HG changeset patch # User Matti Hamalainen # Date 1690971329 -10800 # Node ID ec4294c93585e45d0cc2a53545f0d8db6b0c7060 # Parent 9cc741628b3b6135d24bbdf09eed837f5cd6f2ea Adjust help. diff -r 9cc741628b3b -r ec4294c93585 world/Makefile --- a/world/Makefile Wed Aug 02 13:11:16 2023 +0300 +++ b/world/Makefile Wed Aug 02 13:15:29 2023 +0300 @@ -48,6 +48,7 @@ @echo "Available targets are as follows:" @echo @echo "maps : Build HTML, HTML+JS, PNG image and ANSI format maps." + @echo @echo "fetch : Fetch latest raw ASCII map data from bat.org." @echo @echo "diff : Do special diff operation between new data (gotten via 'fetch')"