publist

managing my list of publications, talks, reviews
git clone https://a3nm.net/git/publist/
Log | Files | Refs | README | LICENSE
commit a03fbfeaa71283e667df3e7833af6abf661f4793
parent afd8b07a17621a6306de2e0490a9bf04d8df3b40
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu,  2 Feb 2023 19:24:48 +0100

fix

Diffstat:

deploy.sh | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/deploy.sh b/deploy.sh
@@ -4,6 +4,7 @@ cd "$HOME/site/publist"
 git pull
 
 if [ ! -f current_rev ]
+then
   echo x > current_rev
 fi