Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 5d698244 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix [make doc].

parent 4b70f66c
No related branches found
No related tags found
No related merge requests found
......@@ -110,6 +110,8 @@ CSS = $(DOCDIR)/odoc.css
.PHONY: doc
doc:
@ rm -rf _build/default/_doc
@ dune clean
@ dune build @doc
@ sed -i.bak 's/font-weight: 500;/font-weight: bold;/' $(CSS) && rm -f $(CSS).bak
@ echo "You can view the documentation by typing 'make view'".
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment