2023-05-01 08:34:20 +00:00
|
|
|
BEGIN {
|
2023-05-13 10:48:00 +00:00
|
|
|
getline firstLine
|
2023-05-10 13:22:30 +00:00
|
|
|
if (FILENAME != "-")
|
|
|
|
printf "Navigation:\n\
|
2023-04-30 13:20:58 +00:00
|
|
|
=> %s home\n\
|
|
|
|
=> %s notes\n\
|
|
|
|
=> %s useful\n\
|
2023-05-13 10:48:00 +00:00
|
|
|
=> %s sitemap\n\
|
|
|
|
=> %s feed\n\n", \
|
|
|
|
relpath(getDirname(FILENAME), "src/index.gmi"), \
|
|
|
|
relpath(getDirname(FILENAME), "src/notes/index.gmi"), \
|
|
|
|
relpath(getDirname(FILENAME), "src/useful/index.gmi"), \
|
|
|
|
relpath(getDirname(FILENAME), "src/sitemap.gmi"), \
|
|
|
|
relpath(getDirname(FILENAME), "src/feed.atom")
|
|
|
|
|
|
|
|
printf "%s\n", firstLine
|
2023-04-30 13:20:58 +00:00
|
|
|
}
|
2023-05-06 15:50:52 +00:00
|
|
|
|
2023-05-01 08:34:20 +00:00
|
|
|
{ print }
|