Differences

This shows you the differences between two versions of the page.

--- doc:biblio:start [2011/09/22 11:49] – niccolo
+++ doc:biblio:start [2018/02/25 00:08] (current) – niccolo
@@ Line 3: / Line 3: @@
 <php>
-$INDEX = '/var/www/www.rigacci.org/docs/biblio/bibliolist.txt';
+$INDEX = '/var/www/html/www.rigacci.org/docs/biblio/bibliolist.txt';
-$URL_PREFIX = 'http://www.rigacci.org/docs/biblio/';
+$URL_PREFIX = 'https://www.rigacci.org/docs/biblio/';
 setlocale(LC_ALL, 'it_IT.UTF-8');
@@ Line 66: / Line 66: @@
         if (isset($record['src'])) {
             echo ' <a href="' . $URL_PREFIX . $record['src'] . '">';
-            echo 'source doc';
+            echo 'doc';
             echo '</a>';
         }