Merge branch 'trigger-index' into 'develop'

rebuild index

See merge request !219

.gitlab-ci.yml

@@ -22,7 +22,7 @@ prepare:index:
   script:
     - python .ci/generateIndex.py
     - mkdir .tmp
-    - cp index.md .tmp/.
+    - cp cards.md .tmp/.
   artifacts:
     expire_in: 1 day
     paths:
@@ -47,7 +47,7 @@ save:commitIndex:
     - git config user.email $GIT_ACCESS_EMAIL
   script:
     # copy the index and remove the temporary directory
-    - cp .tmp/index.md .
+    - cp .tmp/cards.md .
     - rm -rf .tmp
 
     # commit

cards.md

@@ -64,4 +64,4 @@ order: -1
 
 		</ul>
 	</div>
-</div><br><center><a href='/'>Overview of all HowTo cards</a></center>
+</div><br><center><a href='/'>go back</a></center><br><center><a href='/cards'>Overview of all HowTo cards</a></center>
\ No newline at end of file