From c212a1e2f8fbe2871cfc2d5ec43ff53e986b4f81 Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Mon, 1 Feb 2021 20:24:50 +0100 Subject: [PATCH] Fixed makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5b79d63c..d6cc015c 100644 --- a/Makefile +++ b/Makefile @@ -37,7 +37,7 @@ build: js_build: dune build src/catala/catala_web.bc.js --profile release -doc: generate_allocations_familiales_ml +doc: dune build @doc ln -sf $(PWD)/_build/default/_doc/_html/index.html doc/odoc.html