From 99247e24a3d17e0256009b86649b5bb568719472 Mon Sep 17 00:00:00 2001 From: laurentheirendt <laurent.heirendt@uni.lu> Date: Wed, 20 May 2020 10:55:31 +0200 Subject: [PATCH] preparations for policies --- .ci/generateIndex.py | 2 +- .gitignore | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.ci/generateIndex.py b/.ci/generateIndex.py index 968f2b0b..01890c0f 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 320e29c6..1085de46 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 -- GitLab