From 716f25d9f6b5ff055e406abec0ff25458116415e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Sat, 9 Mar 2019 00:30:58 +0100
Subject: [PATCH] Build references/index.html from references.md

---
 .gitlab-ci.yml | 2 +-
 .travis.yml    | 7 +++++++
 Makefile       | 7 +++++--
 3 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cd56794..47dae3c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,6 @@
 before_script:
   - apt-get update -qq
-  - apt-get -y -qq install graphviz ghostscript
+  - apt-get -y -qq install graphviz ghostscript markdown
 
 pages:
   stage: deploy
diff --git a/.travis.yml b/.travis.yml
index abb5b1c..dd069de 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,6 +1,13 @@
 language: c
 sudo: false
 
+addons:
+  apt:
+    packages:
+      - graphviz
+      - ghostscript
+      - markdown
+
 # TODO: don't overwrite artifacts.
 script:
  - make
diff --git a/Makefile b/Makefile
index 881f621..dd63344 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-all: artifacts/deps.svg artifacts/deps.png artifacts/deps.pdf artifacts/index.html
+all: artifacts/deps.svg artifacts/deps.png artifacts/deps.pdf artifacts/index.html artifacts/references/index.html
 
 deps.dot: deps.sh
 	mkdir -p $$(dirname $@)
@@ -21,4 +21,7 @@ artifacts/deps.pdf: deps.ps Makefile
 	ps2pdf $< $@
 
 artifacts/index.html: Makefile
-	printf %s '<h1>{{{project-name}}}</h1>' > $@
+	cp doc-src/index.html $@
+
+artifacts/references/index.html:
+        markdown -o $@ references.md