> This is a known issue and related to timestamps of those generated > .texi files. By touching generated .texi it can be solved. This test > in make is here a bit broken IMHO, as a content check would satisfy > needs for validity-check alone.
Actually, it doesn't solve it. If "cpmd -s" returns false, the build dies right there. FX
