web site fix

manuel-serrano · Jan 27, 2025 · ab7c304 · ab7c304
1 parent 7a6cc4c
commit ab7c304
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 13 deletions.
diff --git a/LICENSE b/LICENSE
@@ -8,7 +8,7 @@
                          '   \\   /  '                               
                               ^   ^                                  
 
-               Copyright (c) 1992 - 2022 Manuel Serrano
+               Copyright (c) 1992 - 2025 Manuel Serrano
                 http://www.inria.fr/indes/fp/Bigloo                                                                                               
      Bug descriptions, user reports, comments or suggestions are      
      welcome. Send them to                                           

diff --git a/www/debian.md b/www/debian.md
@@ -1,6 +1,6 @@
 
-Debian
-------
+Debian/Ubuntu
+-------------
 
 Pre-compiled Bigloo version are available for Linux Debian
 and some of its variants. This version can be installed using

diff --git a/www/download.md b/www/download.md
@@ -39,10 +39,12 @@ tarball files at:
 [ftp://ftp-sop.inria.fr/indes/fp/Bigloo](ftp://ftp-sop.inria.fr/indes/fp/Bigloo)
 
 
-${ hopdoc.include( "debian.md" ) }
+${ hopdoc.include( "../INSTALL.md" ) }
 
-${ hopdoc.include( "homebrew.md" ) }
+Debian/Ubuntu
+-------------
 
-${ hopdoc.include( "../INSTALL.md" ) }
+On Debian and Ubuntu, Bigloo can be installed similarly to the github
+[CI script](https://github.com/manuel-serrano/bigloo/blob/master/.github/workflows/bigloo.yml).
 
 
diff --git a/www/hss/www.hss b/www/hss/www.hss
@@ -3,8 +3,8 @@
 /*    -------------------------------------------------------------    */
 /*    Author      :  Manuel Serrano                                    */
 /*    Creation    :  Sat Aug  1 10:20:48 2015                          */
-/*    Last change :  Wed May 27 08:51:59 2020 (serrano)                */
-/*    Copyright   :  2015-20 Manuel Serrano                            */
+/*    Last change :  Mon Jan 27 17:49:41 2025 (serrano)                */
+/*    Copyright   :  2015-25 Manuel Serrano                            */
 /*    -------------------------------------------------------------    */
 /*    HSS for the Hop.js documentation                                 */
 /*=====================================================================*/

diff --git a/www/manual.md b/www/manual.md
@@ -7,7 +7,7 @@ ${ var www = require( "./www.js" ) }
 ${ var fs = require( "fs" ) }
 
 ${ var manual = texinfo.load( "../manuals/bigloo.texi", hop.locale, fontifier ) }
-${ var chapters = manual.chapters() }
+${ var chapters = manual.chapters(); undefined; }
 
 ${ var table = [] }
 
@@ -80,8 +80,8 @@ ${ for( let i = 1; i < chapters.length; i++ ) {
 	if( chapters[ i ].innerHTML === "Global Index" ) {
 	   fs.writeFileSync( path, "<html><script>window.location='./idx.html';</script></html>" );
     } else {
-   	   www.compileXML( chap, chapters[ i ].innerHTML, "manual", path, "manual-toc.js" ); }
+   	   www.compileXML( chap, chapters[ i ].innerHTML, "manual", path, "manual-toc.js" ); 
 	}
- }
+}}
 
 ${ manual.getChapterByTitle( chapters[ 1 ].innerHTML ) }
diff --git a/www/www.js b/www/www.js
@@ -3,7 +3,7 @@
 /*    -------------------------------------------------------------    */
 /*    Author      :  Manuel Serrano                                    */
 /*    Creation    :  Thu Jul 30 17:20:13 2015                          */
-/*    Last change :  Mon Jan 27 11:26:56 2025 (serrano)                */
+/*    Last change :  Mon Jan 27 17:43:35 2025 (serrano)                */
 /*    Copyright   :  2015-25 Manuel Serrano                            */
 /*    -------------------------------------------------------------    */
 /*    Tools to build the Hop.js documentation.                         */
@@ -296,7 +296,7 @@ function compileSection(page) {
    let key = path.basename(path.dirname(page)).toLowerCase();
    let affix = "normal";
    let chap = findChapter(title);
-   
+
    if (key == "www") {
       key = alias[path.basename(page)];
    } else if (key == ".") {