Update on-line info

diff --git a/doc/info/html1.gif b/doc/info/html1.gif
index 1e677a20dbb151dbccc0bb306583949b1218b923..6eae64582765c038e4e2084bbbee049bdf0f502a 100644 (file)
Binary files a/doc/info/html1.gif and b/doc/info/html1.gif differ

diff --git a/doc/info/html2.gif b/doc/info/html2.gif
index 5d39d6c3329dcf48482ec2650d36cd6e6876d5f7..b83b02065defdd5dd09e72554a4de8cef0038e85 100644 (file)
Binary files a/doc/info/html2.gif and b/doc/info/html2.gif differ

diff --git a/doc/info/html3.gif b/doc/info/html3.gif
index b7f6b5388edcc66051bef8958046e58de4f67059..365ae859dd1dd25715cb501d90255c1703c82c22 100644 (file)
Binary files a/doc/info/html3.gif and b/doc/info/html3.gif differ

diff --git a/doc/info/html4.gif b/doc/info/html4.gif
index 83a70e6cd33b07161c97fa7f4634ae201eb30eb7..f158e3440c4f6ee8e432cf83c6c86ca4c5406496 100644 (file)
Binary files a/doc/info/html4.gif and b/doc/info/html4.gif differ