Add '.so' to the list of file extensions cleared up by 'make clean' in

[sgt/putty] / doc / vids.but

diff --git a/doc/vids.but b/doc/vids.but
index 93d2416..3219d4d 100644 (file)
--- a/doc/vids.but
+++ b/doc/vids.but
@@ -28,3 +28,9 @@
 \versionidfeedback
 
 \versionidlicence
+
+\versionidudp
+
+\versionidpgpkeys
+
+\versionidindex