tree 0b7533f6a8dd4a65bd0005fe251b9e684ab61cea
parent ec1a428343cad343969d569c56acbe6b02ab8f4f
author paul <paul> 1132950226 +0000
committer paul <paul> 1132950226 +0000

2005-11-25 Paul Jakma <paul.jakma@sun.com>

	* texinfo.tex: update to newer version, seems to now properly
	  scale the diagramme images in PDF output.