doc: Set manual title in the Makefile itself instead of in a separate title.html
[charm.git] / doc / convext / Makefile
1 # Stub makefile for LaTeX PPL manual
2 FILE=manual
3 TEX= $(FILE).tex cldb.tex   cpm.tex     index.tex   msgmgr.tex  random.tex  \
4         cms.tex    ds.tex       ldb.tex   cpath.tex  futures.tex  pthreads.tex
5 DEST=convext
6 LATEX2HTML=$(L2H) -split 5
7 DOCTITLE='C<SMALL>ONVERSE</SMALL> Extensions Library Manual'
8
9 include ../Makefile.common
10
11 index.tex:
12         touch index.tex