From af2c66be951af256ba13eb86246aa954a3edab09 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Mon, 5 Aug 2002 10:35:35 +0000
Subject: [PATCH] Buttress is now Halibut: change the docs makefile.

[originally from svn r1802]
---
 doc/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index a7e1868e..2d87e943 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,10 +4,10 @@ CHAPTERS += faq feedback licence
 INPUTS = $(patsubst %,%.but,$(CHAPTERS))
 
 # This is temporary. Hack it locally or something.
-BUTTRESS = $(HOME)/src/buttress/build/buttress
+HALIBUT = $(HOME)/src/halibut/build/halibut
 
 Contents.html: $(INPUTS)
-	$(HOME)/src/buttress/build/buttress $(INPUTS)
+	$(HOME)/src/halibut/build/halibut $(INPUTS)
 	rm -f index.html
 	ln -s Contents.html index.html
 	mv output.txt puttydoc.txt