X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2FMakefile;h=2d87e943900dcaf5f12f4589fb2617a21883a8b2;hb=4abd468e14d110f2085f7a693687a9c19e1d47e1;hp=a7e1868ec7cf797ed73f5db134b0dc41cf2c0743;hpb=20e588c35e176e8142c0523c61e01bd500754e50;p=PuTTY.git

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