From 89f20f29c8238329c8daf255fcc9ac45cd01496d Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 23 Jun 2018 09:33:38 +0200
Subject: [PATCH] Fix documentation links broken by the "use import" change.
---
Makefile.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile.in b/Makefile.in
index baea10453..55dc7b4f0 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -2069,7 +2069,7 @@ STDLIBFILES = $(patsubst %,stdlib/%.mlw, $(STDLIBS))
# TODO: remove the hack about int.mlw once it has become builtin
stdlibdoc: $(STDLIBFILES) bin/why3doc.@OCAMLBEST@
mkdir -p doc/stdlibdoc
- sed -e "s/use import Int/use import int.Int/" stdlib/int.mlw > int.mlw
+ sed -e "s/use Int/use int.Int/" stdlib/int.mlw > int.mlw
rm -f doc/stdlibdoc/style.css
WHY3CONFIG="" bin/why3doc.@OCAMLBEST@ -L stdlib \
-o doc/stdlibdoc --title "Why3 Standard Library" \
--
GitLab