- "http://sourceforge.net/" target="_top">SourceForge.</a> Please refer
- to the chapters 6 and 7 in <a href=
- "http://sourceforge.net/docman/?group_id=1" target="_top">SF's site
- documentation</a> for the technical access details for your operating
- system. For historical reasons, the CVS server is called <tt class=
+ "https://sourceforge.net/" target="_top">SourceForge.</a> For
+ historical reasons, the CVS server is called <tt class=