blob: 42a557d6d2d3b5b49211aad3099ef54048876297 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# ls src/*gmo | awk -f genindice.awk
function link2nombre( t ){ # convierte un nombre con "_" a uno con espacios
gsub("_"," ",t);
sub(".gmo", "", t)
return t
}
BEGIN{
print "# índice de páginas"
print
print "modificadas recientemente, arriba"
print
}
{
sub("src/","",$0)
nombre = link2nombre($0) # convierte _ a espacios
sub(".gmo",".gmi",$0)
if(nombre!="index") # no imprimas el índice
print "=> ./"$0" {"nombre"}"
}
|