user-manual: fix incorrect header level

diff --git a/setup.c b/setup.c
index a45ea8309a9773160597f142f1208a6129885499..2b8e8c0e5e1e957615e986efaab289d77c8fc51c 100644 (file)
--- a/setup.c
+++ b/setup.c
@@ -103,7 +103,7 @@ void verify_non_filename(const char *prefix, const char *arg)
        if (!lstat(name, &st))
                die("ambiguous argument '%s': both revision and filename\n"
                    "Use '--' to separate filenames from revisions", arg);
-       if (errno != ENOENT)
+       if (errno != ENOENT && errno != ENOTDIR)
                die("'%s': %s", arg, strerror(errno));
 }