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