Merge branch 'prepare-policies' into 'develop'

preparations for policies See merge request !138

Merge branch 'prepare-policies' into 'develop'
preparations for policies See merge request !138
066180cc · Laurent Heirendt · 2430f579 · 99247e24 · 066180cc · 066180cc
Commit 066180cc authored May 20, 2020 by Laurent Heirendt ✈
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

.ci/generateIndex.py .ci/generateIndex.py +1 -1

.gitignore .gitignore +1 -0

No files found.
--- 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

--- a/.gitignore
+++ b/.gitignore
@@ -33,3 +33,4 @@ package.json
 ./theme/package.json
 __pycache__/
 contribute.egg-info/
+policies
\ No newline at end of file