@ -41,7 +41,7 @@ rm gem/*gmi
# crea índice
echo "generando índice..."
rm src/indice.gmo
ls src/*gmo | awk -f genindice.awk > src/indice.gmo
ls -t src/*gmo | awk -f genindice.awk > src/indice.gmo
echo "revisando y convirtiendo archivimos gmo a html y gmi..."
@ -9,6 +9,8 @@ function link2nombre( t ){ # convierte un nombre con "_" a uno con espacios
BEGIN{
print "# índice de páginas"
print
print "modificadas recientemente, arriba"
}
{