Commit d01763ab authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Remove the postprocessing of the .css file.

parent 7e4597cc
......@@ -94,14 +94,12 @@ unpin:
DOCDIR = _build/default/_doc/_html
DOC = $(DOCDIR)/index.html
CSS = $(DOCDIR)/odoc.css
.PHONY: doc
doc:
@ rm -rf _build/default/_doc
@ dune clean
@ dune build @doc 2>&1 | ./doc.sh | sort | uniq
@ 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'".
.PHONY: view
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment