allow using an empty string as argument for -D/--directory

This commit is contained in:
Mike Fährmann
2024-01-12 16:38:18 +01:00
parent b97af09e03
commit b1c175fdd1

View File

@@ -45,7 +45,7 @@ def main():
elif filename.startswith("\\f"):
filename = "\f" + filename[2:]
config.set((), "filename", filename)
if args.directory:
if args.directory is not None:
config.set((), "base-directory", args.directory)
config.set((), "directory", ())
if args.postprocessors: