-
Glenn Morris authored
Otherwise, lwlib/ and src/ would try to run make-docfile at the same time, and one of them would lose when its output file disappeared.
5ac75e8f
Otherwise, lwlib/ and src/ would try to run make-docfile at the same time, and one of them would lose when its output file disappeared.