head	1.1;
access;
symbols
	RELEASE_8_3_0:1.1
	RELEASE_9_0_0:1.1
	RELEASE_7_4_0:1.1
	RELEASE_8_2_0:1.1
	RELEASE_6_EOL:1.1
	RELEASE_8_1_0:1.1
	RELEASE_7_3_0:1.1
	RELEASE_8_0_0:1.1
	RELEASE_7_2_0:1.1;
locks; strict;
comment	@# @;


1.1
date	2009.04.11.03.00.02;	author wxs;	state Exp;
branches;
next	;


desc
@@


1.1
log
@- Update to 1.5R1

PR:		ports/131631
Submitted by:	Andrew Bernard <andrewb@@cs.cmu.edu> (maintainer)
@
text
@--- doc/guide/Makefile.orig	2009-02-08 13:47:36.000000000 -0500
+++ doc/guide/Makefile	2009-02-08 13:23:38.000000000 -0500
@@@@ -39,7 +39,7 @@@@
 twelf_toc.html : twelf.texi;
 	@@echo "---------- Creating HTML: twelf_*.html"
 	$(texi2html) -menu -number -split_chapter twelf.texi;
-	$(texi2html) -check *.html;
+#	$(texi2html) -check *.html;
 
 twelf.pdf : twelf.texi;
 	@@echo "---------- Creating unindexed PDF: twelf.pdf"
@
