diff options
Diffstat (limited to 'doc/threads/Makefile')
| -rw-r--r-- | doc/threads/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/threads/Makefile b/doc/threads/Makefile index abad50ab..fafb8d47 100644 --- a/doc/threads/Makefile +++ b/doc/threads/Makefile @@ -13,3 +13,17 @@ all: $(foreach ch,$(CHAPTERS),$(addprefix $(ch),$(SUFFICES))) %-wordpress.html: %.html Makefile sed -r 's#</p>#\n#g; s#<p>##g; s#<(/?)code>#<\1tt>#g; s#<pre><tt>#<code>#g; s#</tt></pre>#</code>#g; s#</?figure>##g; s#<figcaption>#<p style="text-align: center">#; s#</figcaption>#</p>#; ' $< > $@ + +stats-%.csv: stats.csv stats-filter.pl + perl stats-filter.pl $< $* > $@ + +STATS_VARIANTS := multi imex mulimex single +stats-all: $(patsubst %,stats-%.csv,$(STATS_VARIANTS)) + +stats-2d-%.pdf: stats.csv stats-filter-2d.pl + perl stats-filter-2d.pl $< $* $@ + +stats-2d-%.png: stats-2d-%.pdf + gs -dBATCH -dNOPAUSE -sDEVICE=pngalpha -sOutputFile=$@ -r300 $< + +stats-all-2d: $(foreach suf,pdf png,$(patsubst %,stats-2d-%.$(suf),$(STATS_VARIANTS))) |