From bd99ed45eb393b4754d16306ada6d69f05d4fdfd Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 23 Aug 2010 18:05:09 +0000
Subject: -prefix -> --output

---
 doc/Makefile.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/Makefile.doc')

diff --git a/doc/Makefile.doc b/doc/Makefile.doc
index 12e949ea..0e8d1852 100644
--- a/doc/Makefile.doc
+++ b/doc/Makefile.doc
@@ -72,7 +72,7 @@ rearrange:
 	$(DVI2PS) $< -o $*.ps
 
 .texi.html:	
-	$(TEXI2HTML) -prefix $* $< 
+	$(TEXI2HTML) --output $* $< 
 
 default: doc
 
-- 
cgit v1.2.3