From 8f45059f2719ccceb7c9accf9f5ddbe462f3d9f6 Mon Sep 17 00:00:00 2001 From: nanotube Date: Mon, 3 Dec 2007 01:52:40 +0000 Subject: [PATCH] remind myself what the filename addendum is supposed to be like --- make_all_dist.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make_all_dist.py b/make_all_dist.py index 342ca98..afe82fd 100644 --- a/make_all_dist.py +++ b/make_all_dist.py @@ -34,7 +34,7 @@ if __name__ == '__main__': else: sys.exit() - fname_addendum = raw_input("Filename addendum? ") + fname_addendum = raw_input("Filename addendum (start with '_')? ") #delete old build dir. print r'rd /S /Q build' -- 2.45.1