From 3c2bd740f7daec3d25f3e827b090c495f5638893 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org> Date: Mon, 11 Nov 2019 20:57:26 +0100 Subject: [PATCH] update mathcomp documentation URL The mathcomp coqdoc documentation is now at: https://math-comp.github.io/htmldoc/ Tweak our Makefile accordingly. --- scripts/Makefile.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/Makefile.patch b/scripts/Makefile.patch index bcfe87868..3ae03c84a 100644 --- a/scripts/Makefile.patch +++ b/scripts/Makefile.patch @@ -5,7 +5,7 @@ COQFLAGS?=-q $(OTHERFLAGS) $(COQEXTRAFLAGS) COQCHKFLAGS?=-silent -o $(COQCHKEXTRAFLAGS) -COQDOCFLAGS?=-interpolate -utf8 $(COQDOCEXTRAFLAGS) -+COQDOCFLAGS?=-interpolate -utf8 --parse-comments --coqlib https://coq.inria.fr/distrib/current/stdlib/ --external https://math-comp.github.io/math-comp/htmldoc/ mathcomp $(COQDOCEXTRAFLAGS) ++COQDOCFLAGS?=-interpolate -utf8 --parse-comments --coqlib https://coq.inria.fr/distrib/current/stdlib/ --external https://math-comp.github.io/htmldoc/ mathcomp $(COQDOCEXTRAFLAGS) COQDOCLIBS?=$(COQLIBS_NOML) -- GitLab