Fix making of "sources.html"

Uses same template as synopsis, maybe this shoudl be generalised a bit
2018-11-13 09:50:10 +01:00
parent b2545333ba
commit 20efc48e21
9 changed files with 58 additions and 219 deletions
--- a/doc/synopsis/quicklinks.js
+++ b/doc/synopsis/quicklinks.js
@@ -115,4 +115,10 @@ function quicklinks () {
  )
 }

-document.getElementById('quicklinks').appendChild(quicklinks())
+appendChildren(
+  document.getElementById('quicklinks'),
+  [
+    node('h5', '', 'Quick links'),
+    quicklinks()
+  ]
+)