From 0f04a21274086f1438aa1598c11437c405ad248f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 5 May 2011 17:45:55 +0000 Subject: Remove mention of dvi --- doc/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index 0331cd10..85d44fb4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -10,8 +10,8 @@ ########################################################################### ## ## Use: -## make info,dvi,pdf,html - build respective docs from texi source. -## make doc - make default kinds of doc (dvi, info). +## make info,pdf,html - build respective docs from texi source. +## make doc - make default kinds of doc (, info). ## ########################################################################### -- cgit v1.2.3