develop
SHELL := /bin/bash .PHONY: all html clean all: docs html: # Build html documentation ../tools/make_docs.sh clean: # Remove html documentation and autogenerated rst files ../tools/make_docs.sh --make-clean