diff options
author | sejo <sejo@texto-plano.xyz> | 2021-05-20 16:53:10 -0500 |
---|---|---|
committer | sejo <sejo@texto-plano.xyz> | 2021-05-20 16:53:10 -0500 |
commit | b026a8428446b2a52743f015115d7c7764accc9d (patch) | |
tree | 0a84177e72120d6f268c06d342c4099c132d1e29 /generasitio.sh | |
parent | 7c9cfd59c3ae0980ac78042b438d284ba6a641ac (diff) | |
download | sitio-b026a8428446b2a52743f015115d7c7764accc9d.tar.gz |
genera índice
Diffstat (limited to 'generasitio.sh')
-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") |