Very primitive, but working, RSS feeds.

[cocanwiki.git] / scripts / page.ml

diff --git a/scripts/page.ml b/scripts/page.ml
index 366d34e..9378107 100644 (file)
--- a/scripts/page.ml
+++ b/scripts/page.ml
@@ -1,7 +1,7 @@
 (* COCANWIKI - a wiki written in Objective CAML.
  * Written by Richard W.M. Jones <rich@merjis.com>.
  * Copyright (C) 2004 Merjis Ltd.
- * $Id: page.ml,v 1.14 2004/09/20 11:11:15 rich Exp $
+ * $Id: page.ml,v 1.15 2004/09/20 15:34:36 rich Exp $
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -30,7 +30,6 @@ open Cocanwiki
 open Cocanwiki_template
 open Cocanwiki_ok
 open Cocanwiki_date
-open Cocanwiki_strings
 
 (* Maximum level of redirection. *)
 let max_redirect = 4
@@ -60,17 +59,6 @@ let run r (q : cgi) (dbh : Dbi.connection) hostid {edit_anon=edit_anon} user =
   let can_manage_users = can_manage_users user in
   let can_manage_contacts = can_manage_contacts user in
 
-  (* Convert a section name into something valid for use in <a name="...">
-   * XXX This breaks horribly for non-7-bit strings.
-   *)
-  let linkname_of_sectionname str =
-    let str = String.copy str in
-    for i = 0 to String.length str - 1 do
-      if not (isalnum str.[i]) then str.[i] <- '_'
-    done;
-    str
-  in
-
   (* This code generates ordinary pages. *)
   let make_page title description pageid last_modified_date has_page_css
       version page page' =