diff options
-rwxr-xr-x | generasitio.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generasitio.sh b/generasitio.sh index 3e51652..ef3ec66 100755 --- 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") |