diff options
| -rw-r--r-- | Doc/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index cc20439..b9d22d8 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -93,7 +93,9 @@ api: api.ps $(DISTILL) $< # Dependencies -tut.dvi lib.dvi ext.dvi api.dvi: myformat.sty fix_hack +COMMONTEX=myformat.sty copyright.tex boilerplate.tex + +tut.dvi lib.dvi ext.dvi api.dvi: fix_hack $(COMMONTEX) # Tutorial document tut.dvi: tut.tex |