Remove document link function.

diff --git a/public_html/includes/html-templating.php b/public_html/includes/html-templating.php
index 0ec4808f41d29592999e5e9a71fb8791d85aae68..88d250714e0828bd023da8fbccc1b960e5c7f534 100644 (file)
--- a/public_html/includes/html-templating.php
+++ b/public_html/includes/html-templating.php
@@ -27,7 +27,7 @@ function javascript($name) {
 }
 
 function document_href($filename) {
-  return href(document_link($filename));
+  return href("docs/$filename");
 }
 
 // Link output helper functions.

diff --git a/public_html/includes/utils.php b/public_html/includes/utils.php
index 0ab5ab84dfabd035fc598f79c9920bb7cc095296..bb62dc0eceac44c70a48ed5e1058e01e33a6465a 100644 (file)
--- a/public_html/includes/utils.php
+++ b/public_html/includes/utils.php
@@ -35,12 +35,6 @@ function cache_control_suffix($path) {
   return "?v=$modified";
 }
 
-function document_link($filename) {
-  $rel_path = "docs/$filename";
-  $suffix = cache_control_suffix($rel_path);
-  return $rel_path . $suffix;
-}
-
 function show_error_list($errors) {
   if (empty($errors)) return;?>
   <div class="error"><?php