From b537a31085c8da137a242e8bf999692b87c766bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas.schaertl@fau.de>
Date: Mon, 27 Apr 2020 11:10:40 +0200
Subject: [PATCH] coq-cut: add reference to exported files

---
 ulo/coq-cut.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ulo/coq-cut.sh b/ulo/coq-cut.sh
index 7490d98..1f6ee80 100755
--- a/ulo/coq-cut.sh
+++ b/ulo/coq-cut.sh
@@ -1,9 +1,11 @@
 #! /bin/sh
 
-# cut out some components from the rdf files exported from Coq
+# cut out some components from the rdf files exported from Coq [1]
 # that GraphDB does not like; right now I don't know if they
 # are important or if they can be skipped, but I just want a working
 # prototype first of all
+#
+# [1] https://gl.mathhub.info/Coqxml
 
 set -eu
 
-- 
GitLab