diff options
-rwxr-xr-x | generasitio.sh | 2 | ||||
-rw-r--r-- | genindice.awk | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/generasitio.sh b/generasitio.sh index c21e6d1..14164fb 100755 --- a/generasitio.sh +++ b/generasitio.sh @@ -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..." diff --git a/genindice.awk b/genindice.awk index aa84f79..42a557d 100644 --- a/genindice.awk +++ b/genindice.awk @@ -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" + print } { |