Synchronize.

Fix MANDIR problem.