Index: server/doc/install-howto
===================================================================
--- server/doc/install-howto	(revision 796)
+++ server/doc/install-howto	(revision 797)
@@ -29,5 +29,5 @@
 
 * Check out the scripts /etc configuration, which is done most easily by
-  - svn co http://scripts.mit.edu:1111/server/fedora/config/etc
+  - svn co https://scripts.mit.edu:1111/server/fedora/config/etc
   - \cp -a etc /
 
