Replace incorrect gif files.

diff --git a/doc/src/graphics/catalogs.gif b/doc/src/graphics/catalogs.gif
index 494a2cf3d41a1752abadc39cf552df80d0f4c1e6..24e3187e6c69718bc8091484c1ba1dffc67021c0 100644 (file)
Binary files a/doc/src/graphics/catalogs.gif and b/doc/src/graphics/catalogs.gif differ

diff --git a/doc/src/graphics/connections.gif b/doc/src/graphics/connections.gif
index 007e3bd09a9674cbf3031198490c624295a47ef7..0de39b8d8994440cacaeb4c4f976192c4ded5289 100644 (file)
Binary files a/doc/src/graphics/connections.gif and b/doc/src/graphics/connections.gif differ