diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 2b8b9e0..662ea07 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -193,8 +193,8 @@ paper-$(PAPER)/api.dvi: $(ANNOAPIFILES) paper-$(PAPER)/api.pdf: $(ANNOAPIFILES) cd paper-$(PAPER) && $(MKPDF) api.tex -paper-$(PAPER)/api.tex: api/api.tex $(ANNOAPI) - $(PYTHON) $(TOOLSDIR)/anno-api.py -o $@ api/api.tex +paper-$(PAPER)/api.tex: api/api.tex + cp api/api.tex $@ paper-$(PAPER)/abstract.tex: api/abstract.tex $(ANNOAPI) $(PYTHON) $(TOOLSDIR)/anno-api.py -o $@ api/abstract.tex @@ -208,8 +208,8 @@ paper-$(PAPER)/exceptions.tex: api/exceptions.tex $(ANNOAPI) paper-$(PAPER)/init.tex: api/init.tex $(ANNOAPI) $(PYTHON) $(TOOLSDIR)/anno-api.py -o $@ api/init.tex -paper-$(PAPER)/intro.tex: api/intro.tex $(ANNOAPI) - $(PYTHON) $(TOOLSDIR)/anno-api.py -o $@ api/intro.tex +paper-$(PAPER)/intro.tex: api/intro.tex + cp api/intro.tex $@ paper-$(PAPER)/memory.tex: api/memory.tex $(ANNOAPI) $(PYTHON) $(TOOLSDIR)/anno-api.py -o $@ api/memory.tex |