added command line option to dump level set info

[rocksndiamonds.git] / src / main.c

diff --git a/src/main.c b/src/main.c
index a0b872613a9fab0268355a92e2398bedbe51e0e8..8ab7313dba3a77667264417e627d886e78cd1035 100644 (file)
--- a/src/main.c
+++ b/src/main.c
@@ -9078,6 +9078,7 @@ static void print_usage(void)
        "  \"print editorsetup.conf\"         print default editor config\n"
        "  \"print helpanim.conf\"            print default helpanim config\n"
        "  \"print helptext.conf\"            print default helptext config\n"
+       "  \"dump levelset FILE|LEVELDIR\"    dump levelset info for LEVELDIR\n"
        "  \"dump level FILE\"                dump level data from FILE\n"
        "  \"dump tape FILE\"                 dump tape data from FILE\n"
        "  \"autoplay LEVELDIR [NR ...]\"     play level tapes for LEVELDIR\n"