Commit 4437b7e5 authored by Mathieu Giraud's avatar Mathieu Giraud

doc/Makefile: update

parent 7beaaa22
Pipeline #32767 canceled with stages
in 3 minutes and 8 seconds
......@@ -13,5 +13,5 @@ htmlorg: $(ORG_FILES)
# Requires emacs with org-mode
emacs -batch $^ -f "org-html-export-to-html"
python ../tools/ --all $^
Markdown is supported
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