diff options
Diffstat (limited to 'Doc/Makefile.deps')
| -rw-r--r-- | Doc/Makefile.deps | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps index 9718cff..6f13673 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -31,6 +31,23 @@ APIFILES= $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ api/veryhigh.tex \ texinputs/reportingbugs.tex +# These files are generated from those listed above, and are used to +# generate the typeset versions of the manuals. The list is defined +# here to make it easier to ensure parallelism. +ANNOAPIFILES= $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ + paper-$(PAPER)/api.tex \ + paper-$(PAPER)/abstract.tex \ + paper-$(PAPER)/concrete.tex \ + paper-$(PAPER)/exceptions.tex \ + paper-$(PAPER)/init.tex \ + paper-$(PAPER)/intro.tex \ + paper-$(PAPER)/memory.tex \ + paper-$(PAPER)/newtypes.tex \ + paper-$(PAPER)/refcounting.tex \ + paper-$(PAPER)/utilities.tex \ + paper-$(PAPER)/veryhigh.tex \ + texinputs/reportingbugs.tex + DOCFILES= $(HOWTOSTYLES) \ texinputs/boilerplate.tex \ texinputs/ltxmarkup.sty \ |