Generate HTML version manual on `make install`.
The source files for manual pages are placed under doc/manual-src. The built manual pages are placed under doc/manual. When installed, manual pages are placed under $(docdir)/manual/.