OpenSSH signature support

[gogost.git] / www.do

diff --git a/www.do b/www.do
index 30aa8334abc91e7ae0a733390cd12541d977b029..5dc4ceb5f76421d1305618c0876ed93df98aefc0 100644 (file)
--- a/www.do
+++ b/www.do
@@ -11,6 +11,7 @@ ${MAKEINFO:-makeinfo} --html \
     --set-customization-variable DATE_IN_HEADER=1 \
     --set-customization-variable ASCII_PUNCTUATION=1 \
     --output $html www.texi
+cp PUBKEY-* $html/
 (
     cd $html
     export ATOM_ID="34c4c603-9fa7-4441-a089-881d216d8638"