change folder name

Author: abhishekmmgn

public/index.css

@@ -33,10 +33,10 @@ def run(
 if __name__ == "__main__":
     parser = argparse.ArgumentParser(description="HTTP Server with CORS")
     parser.add_argument(
-        "--dir", type=str, help="Directory to serve files from", default="public"
+        "--dir", type=str, help="Directory to serve files from", default="dist"
     )
     parser.add_argument("--port", type=int,
-                        help="Port to serve HTTP on", default=8888)
+                        help="Port to serve HTTP on", default=1234)
     args = parser.parse_args()
 
     run(port=args.port, directory=args.dir)

public/index.html

@@ -5,18 +5,18 @@
 from page_generation import generate_pages_recursive
 
 dir_path_static = "./static"
-dir_path_public = "./public"
+dir_path_dist = "./dist"
 
 
 def main():
-    print("Deleting public directory...")
-    if os.path.exists(dir_path_public):
-        shutil.rmtree(dir_path_public)
+    print("Deleting dist directory...")
+    if os.path.exists(dir_path_dist):
+        shutil.rmtree(dir_path_dist)
 
-    print("Copying static files to public directory...")
-    copy_files_recursive(dir_path_static, dir_path_public)
+    print("Copying static files to dist directory...")
+    copy_files_recursive(dir_path_static, dir_path_dist)
 
-    generate_pages_recursive("./content", "./template.html", dir_path_public)
+    generate_pages_recursive("./content", "./template.html", dir_path_dist)
 
 
 main()