doc:
	cargo rustdoc -- --html-in-header doc/katex-header.html

.PHONY: doc