Docs: linting

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 1c8cfd265e777f74dd15e898404e5720a949d854..bbacd653f94ef02b3f95aed9eb221393190bdc66 100644 (file)
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -1,6 +1,7 @@
 # Benchmarks
 
 ## test
+
 <table><tr><td align="center">
 @hide for a in $(find benchmark/results -type f -name "*.png"); do echo "<a href=:gwion:><img class=\"zoom\" src=\"./$(echo "$a" | sed 's/benchmark\/results/assets/')\" width=\"352px\"></a>"; done
 </td></tr></table>

diff --git a/docs/BuildingTheDocs.mdr b/docs/BuildingTheDocs.mdr
index bdbca9116fbb7e0c12143af1fe1be122b0286a47..83f44542c45d390dea9793074b71877f97ab6f9e 100644 (file)
--- a/docs/BuildingTheDocs.mdr
+++ b/docs/BuildingTheDocs.mdr
@@ -1,10 +1,12 @@
 # How this doc is built
 
 ## This is basically markdown
+
 All documentation files are in docs.
 They are [mdr](https://github.com/fennecdjay/mdr) files.
 Along with them is a `list` file, helping to build the summary.
 > To be continued ...
+
 ## makefile
 
 ## scripts

diff --git a/docs/Contributing/ContributingCode.mdr b/docs/Contributing/ContributingCode.mdr
index 8e81de6a9e43606da30bafa4f98e34de8c15e435..212bedeaa3e0c39f2018532c2a1d72e34858001c 100644 (file)
--- a/docs/Contributing/ContributingCode.mdr
+++ b/docs/Contributing/ContributingCode.mdr
@@ -1,3 +1,3 @@
 # Contributing Code
 
-> stub, to be filled
\ No newline at end of file
+> stub, to be filled