From 49ed4b7d3a01b9c383bb99fc26a7b34a7a711fdf Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 12 Feb 2019 02:23:38 +0100
Subject: [coqlib] Remove `-boot` option for setting the coqlib

Instead, if the coqlib is special, we set it explicitly in the command
line, as Dune does.

This is a continuation of #9523.

In Sphinx, we stop using -boot, and pass `-coqlib` through the
environment instead.

Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
---
 Makefile.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.doc')

diff --git a/Makefile.doc b/Makefile.doc
index 4b2dd8ed4d..912738cd00 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -31,7 +31,7 @@ DVIPS:=dvips
 HTMLSTYLE:=coqremote
 
 # Sphinx-related variables
-SPHINXENV:=COQBIN="$(CURDIR)/bin/"
+SPHINXENV:=COQBIN="$(CURDIR)/bin/" COQLIB="$(CURDIR)"
 SPHINXOPTS= -j4
 SPHINXWARNERROR ?= 1
 ifeq ($(SPHINXWARNERROR),1)
-- 
cgit v1.2.3