coq (revision)
fontforge (./htdocs/*.pdf)
gst-plugins-base-0.10 (./html/gst-plugins-base-libs.devhelp)
gstreamer-0.10 (./html/gstreamer.devhelp)
prover9 (rename mace4 to ../bin/mace4)
silc-toolkit (../lib/doc/*.gif)