makefile now also installs and updates ddr-manual, serves at /doc/

Makefile now builds and updates DDR manuals and makes it
available via Nginx at SERVER/docs/.