Document all the new command-line stuff.

[PuTTY.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 18d30e388289c490396a9ff916924f136834e6e6..2d87e943900dcaf5f12f4589fb2617a21883a8b2 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,11 +1,18 @@
-CHAPTERS = blurb intro gs config pscp plink pubkey pageant trouble
+CHAPTERS := blurb intro gs using config pscp psftp plink pubkey pageant
+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
+       mv output.hlp putty.hlp
+       mv output.cnt putty.cnt
+
+clean:
+       rm -f *.html *.txt *.hlp *.cnt