diff --git a/.ci/generateIndex.py b/.ci/generateIndex.py index 968f2b0b2241a397739aa3c1eb7c9b87d53c873f..01890c0fbeed6fa79ed53a2d62ca9c3a2e1f3c9e 100644 --- a/.ci/generateIndex.py +++ b/.ci/generateIndex.py @@ -60,7 +60,7 @@ localroot = os.getcwd() # generate the index properly speaking -cardDirs = ["internal", "external"] +cardDirs = ["internal", "external", "policies"] sections = [] # determine first the directories diff --git a/.gitignore b/.gitignore index 320e29c68e5edaeb8e0db9bbb6f59c891542fa02..1085de465c202b193ee4b10d87d3da8a15eb4f71 100644 --- a/.gitignore +++ b/.gitignore @@ -33,3 +33,4 @@ package.json ./theme/package.json __pycache__/ contribute.egg-info/ +policies \ No newline at end of file