rst: infrastructure-internet.html reseau-et-vous.html

%.html: %.txt
	rst2s5 --theme default $^ $@