From c07a901090878f945621ded8db2bc9d65fce4cb3 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 19 Jun 2006 11:53:38 +0000 Subject: parameters in resource doc summaries --- doc/Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index 6c515f64a..5c3a92168 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -8,3 +8,4 @@ resource: sed -i 's/}\\\\/}/g' resource.tex latex resource.tex latex resource.tex + dvipdf resource.dvi -- cgit v1.2.3