1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
EXTRA_DIST =
if WITHDOC
if HAVE_DOXYGEN
doxyfile.stamp:
$(DOXYGEN) Doxyfile
echo Timestamp > doxyfile.stamp
CLEANFILES = doxyfile.stamp
all-local: doxyfile.stamp
latex/refman.pdf:
$(MAKE) -C latex
clean-local:
rm -rf $(top_srcdir)/doc/man latex doxyfile.stamp
uninstall-local:
rm -rf $(DESTDIR)$(datadir)/doc/$(PACKAGE)/refman.pdf
endif
if HAVE_LATEXMK
doc_DATA = user_manual.pdf
docfiles = user_manual.pdf
MANNAME = user_manual
MANTEXSRC = $(MANNAME).tex
MANAUX = $(MANNAME).aux
MANPDF = $(MANNAME).pdf
CLEANFILES = $(MANPDF) $(MANNAME).log $(MANNAME).idx $(MANNAME).out \
$(MANNAME).toc $(MANAUX) $(MANNAME).auxlock $(MANNAME).bbl \
$(MANNAME).blg $(MANNAME).fdb_latexmk $(MANNAME).fls header.aux
$(MANPDF): $(MANTEXSRC)
latexmk -pdf -pdflatex="pdflatex -interaction=nonstopmode" -bibtex $<
#dist_doc_DATA = $(docfiles)
endif
endif #WITHDOC
EXTRA_DIST += $(top_srcdir)/doc/tikz/event.recording.all.tex\
$(top_srcdir)/doc/tikz/event.storage.all.line.packed.tex\
$(top_srcdir)/doc/tikz/event.storage.trace.file.merge.tex\
$(top_srcdir)/doc/tikz/event.storage.trace.file.tex \
$(top_srcdir)/doc/references.bib
|
