doc: Set manual title in the Makefile itself instead of in a separate title.html
[charm.git] / doc / ampi /
drwxr-xr-x   ..
-rw-r--r-- 276 Makefile
drwxr-xr-x - figs
-rw-r--r-- 53442 manual.tex