diff options
-rw-r--r-- | doc/reference/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/reference/Makefile b/doc/reference/Makefile index 136af940ce..3d377599e7 100644 --- a/doc/reference/Makefile +++ b/doc/reference/Makefile @@ -21,6 +21,7 @@ LATEX_FORMATS += dvi LATEX_FORMATS += ps LATEX_FORMATS += pdf +LATEX_TARGETS += $(LATEX_FORMATS:%=ScalaRationale.%) LATEX_TARGETS += $(LATEX_FORMATS:%=ScalaReference.%) LATEX_TARGETS += $(LATEX_FORMATS:%=ScalaByExample.%) |