antialias the images in info/

diff --git a/doc/info/circle.gif b/doc/info/circle.gif
index 988356f9e7190fc4279c7f37a9d14876db7d6776..0a856783cb28f56e414d378be81f00a3aa7ada23 100644 (file)
Binary files a/doc/info/circle.gif and b/doc/info/circle.gif differ

diff --git a/doc/info/diamond.gif b/doc/info/diamond.gif
index 6d44d7e339355f30ec36028eb3017ebdd08726d0..7a3ab614e59357d6a983df8a56f72f7acaecc056 100644 (file)
Binary files a/doc/info/diamond.gif and b/doc/info/diamond.gif differ

diff --git a/doc/info/doublecircle.gif b/doc/info/doublecircle.gif
index 2ba7694bde2386fa61a185d053907998e2d5f7e4..88bc40529ced1459abca6322addc9d20e57fe138 100644 (file)
Binary files a/doc/info/doublecircle.gif and b/doc/info/doublecircle.gif differ

diff --git a/doc/info/doubleoctagon.gif b/doc/info/doubleoctagon.gif
index 1eac35afa96b07aea1dc95db7594fefe23183ca4..faf3f4a83a5b04321815bc9a5f3c7e8d8ed822cf 100644 (file)
Binary files a/doc/info/doubleoctagon.gif and b/doc/info/doubleoctagon.gif differ

diff --git a/doc/info/egg.gif b/doc/info/egg.gif
index 79a839edd78c7cbb7b0ce1430708be5963335066..cecbb5edd7c503f0d1a1da3195531894223439d3 100644 (file)
Binary files a/doc/info/egg.gif and b/doc/info/egg.gif differ

diff --git a/doc/info/ellipse.gif b/doc/info/ellipse.gif
index 33d91ffc9a8cb0403f95344940ec3257d35dc289..4d7e3dea29fedc3770c3a5745dd3e89f0f44a14d 100644 (file)
Binary files a/doc/info/ellipse.gif and b/doc/info/ellipse.gif differ

diff --git a/doc/info/hexagon.gif b/doc/info/hexagon.gif
index 3b46a01f5f2778b61532d6824c1ecc14058fd3e1..c1ec0b7b8de892aa436646190fb21bf4c5a4bed3 100644 (file)
Binary files a/doc/info/hexagon.gif and b/doc/info/hexagon.gif differ

diff --git a/doc/info/house.gif b/doc/info/house.gif
index d5c44661021f34ec75b9654ecdc878f0f76b48eb..cbc03d165a5a2aa81bcc3e2dee851b8484aac30e 100644 (file)
Binary files a/doc/info/house.gif and b/doc/info/house.gif differ

diff --git a/doc/info/invhouse.gif b/doc/info/invhouse.gif
index 6cb427aa621185ff8f05b518dc2566bdef7f5d58..7dd5fd159993e4cc5239277c87801e57317905b7 100644 (file)
Binary files a/doc/info/invhouse.gif and b/doc/info/invhouse.gif differ

diff --git a/doc/info/invtrapezium.gif b/doc/info/invtrapezium.gif
index 99004eee270d1aafd175f11fb9adcbcc6f10a6cf..7082b57bf8f513da5b6f20dfb822dc92c48721b7 100644 (file)
Binary files a/doc/info/invtrapezium.gif and b/doc/info/invtrapezium.gif differ