diff --git a/src/peigs/doc/GNUmakefile b/src/peigs/doc/GNUmakefile index 1b6dc9d751..5d64cb8efe 100644 --- a/src/peigs/doc/GNUmakefile +++ b/src/peigs/doc/GNUmakefile @@ -1,12 +1,8 @@ -# -# $Id$ -# -all: ; texi2dvi peigs.texi - dvips peigs.dvi +all: ; texi2pdf peigs.texi -#.EXPORT_ALL_VARIABLES: +.EXPORT_ALL_VARIABLES: .PHONY : clean diff --git a/src/peigs/doc/peigs.pdf b/src/peigs/doc/peigs.pdf index 09c7aef75d..8bec107a73 100644 Binary files a/src/peigs/doc/peigs.pdf and b/src/peigs/doc/peigs.pdf differ