gnuastro-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[gnuastro-commits] master c46e36d: Minor corrections in webpage script


From: Mohammad Akhlaghi
Subject: [gnuastro-commits] master c46e36d: Minor corrections in webpage script
Date: Mon, 11 Dec 2017 14:42:22 -0500 (EST)

branch: master
commit c46e36da6676d29157c25f5dd1c364fdc3a50760
Author: Mohammad Akhlaghi <address@hidden>
Commit: Mohammad Akhlaghi <address@hidden>

    Minor corrections in webpage script
    
    The proper filename for the top English page of Gnuastro must be
    `gnuastro.html'. `index.html' is just a symbolic link to it. This is now
    corrected in the script to update the webpage.
---
 doc/forwebpage | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/doc/forwebpage b/doc/forwebpage
index 569ded5..19a8376 100755
--- a/doc/forwebpage
+++ b/doc/forwebpage
@@ -327,11 +327,20 @@ echo %%%%% DONE %%%%%
 
 
 
+
 # Copy `gnuastro.en.html' page into `index.html'. Then copy the other
 # necessary webpage files.
-cp gnuastro.en.html $topwebcheckout/gnuastro/index.html
+cp gnuastro.en.html $topwebcheckout/gnuastro/gnuastro.html
 cp gnuastro.fr.html gnuastro.translist $topwebcheckout/gnuastro/
 
+# `index.html' must be just a symbolic to `gnuastro.html'. In case this is
+# the first time, CVS might have downloaded a full file and not the
+# link. To be safe, we'll just delete index.html and build a new symbolic
+# link.
+rm -f $topwebcheckout/gnuastro/index.html
+ln -s $topwebcheckout/gnuastro/gnuastro.html 
$topwebcheckout/gnuastro/index.html
+
+
 
 
 



reply via email to

[Prev in Thread] Current Thread [Next in Thread]