Commit 855fc566 authored by Mathieu Giraud's avatar Mathieu Giraud

Makefile: do not fail when org-mode export fails

Follows 7b955792
parent afef9baa
......@@ -181,7 +181,7 @@ distrib:
mkdir -p $$dir; \
cp "$$file" $$dir; \
done
make -C release/$(DIST_DIR)/doc html
make -C release/$(DIST_DIR)/doc html || true
cd release && tar cvzf $(RELEASE_ARCHIVE) $(DIST_DIR) \
&& rm -rf $(DIST_DIR)
......
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