[submodule "src/python/fiatlight/doc"]
	path = src/python/fiatlight/doc
	url = https://github.com/pthom/fiatlight_doc.git
