OSDN Git Service

Fix *.gif expansion to be empty when no gif files are used.
authorPeter Eisentraut <peter_e@gmx.net>
Sun, 30 Sep 2001 16:01:12 +0000 (16:01 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Sun, 30 Sep 2001 16:01:12 +0000 (16:01 +0000)
commitb600319c25b29205e2962d468afd2d1379717b32
tree9221b222188958f9d261c71fc7240b70604af521
parentf7d607748ae5aad424003450f07e3aff188f2e41
Fix *.gif expansion to be empty when no gif files are used.
doc/src/Makefile