* doc/share/bin/texi2dvi: .
	* doc/share/styles/ldf/stl.ldf: Remove.
	* doc/share/styles/ldf/stl.sty: New.
	* doc/share/styles/ldf/vaucanson.ldf: Remove.
	* doc/share/styles/ldf/vaucanson.sty: New.
	* doc/share/styles/myacronym.sty: .