doc: Set manual title in the Makefile itself instead of in a separate title.html
[charm.git] / doc / libraries / Makefile
1 # Stub makefile for LaTeX PPL manual
2 FILE=manual
3 TEX=$(FILE).tex barrier.tex ddt.tex intro.tex irecv.tex liveviz.tex tempo.tex fftlib.tex
4
5 DEST=libraries
6 LATEX2HTML=$(L2H) -split 5
7 DOCTITLE='C<SMALL>ONVERSE</SMALL> and C<SMALL>HARM++</SMALL> Libraries Manual'
8
9 include ../Makefile.common
10
11 index.tex:
12         touch index.tex