Sort out the silly filenames.

[u/mdw/putty] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index a19d2fb..f61b7c5 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -9,6 +9,9 @@ Contents.html: $(INPUTS)
        $(HOME)/src/buttress/build/buttress $(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 output.txt
+       rm -f *.html *.txt *.hlp *.cnt