* Makefile.in: Build the Semantic manual.