genera índice

2021-05-20 16:53:10 -05:00 · 2021-05-20 16:53:10 -05:00 · b026a84284
parent 7c9cfd59c3
commit b026a84284
1 changed files with 5 additions and 0 deletions
--- a/generasitio.sh
+++ b/generasitio.sh
@ -16,6 +16,11 @@ echo "limpiando archivos previos..."
 rm web/*html
 rm gem/*gmi

+# crea índice
+echo "generando índice..."
+rm src/indice.gmo
+ls src/*gmo | awk -f genindice.awk > src/indice.gmo
+
 echo "revisando y convirtiendo archivimos gmo a html y gmi..."

 orig=$(date +"%s" -d "1989-07-27")