Added checking for all the tools used to make documentation.
[platform/upstream/gstreamer.git] / gstreamer.m4
2000-01-31 Erik WalthinsenA bunch more changes to clean up build/`make dist`...