[submodule "doc/style"]
	path = doc/style
	url = ../etc/style.git
[submodule "config"]
	path = config
	url = git://git.sv.gnu.org/config.git