source code url to tildegit
This commit is contained in:
parent
c240b00850
commit
2b9ce3b94e
|
@ -354,7 +354,7 @@ END{
|
|||
# footer with filename:
|
||||
sub("tmp/","",FILENAME)
|
||||
print "<p>"
|
||||
print "<a href='https://codeberg.org/sejo/compudanzas/src/branch/main/src/" FILENAME "' rel='external noreferrer noopener' target=_blank>source file</a> —"
|
||||
print "<a href='https://tildegit.org/sejo/compudanzas/src/branch/main/src/" FILENAME "' rel='external noreferrer noopener' target=_blank>source file</a> —"
|
||||
print "most recent update: "
|
||||
print "<time datetime='"fecha"'>1" fecha"</time> — "
|
||||
sub(".gmo",".gmi",FILENAME)
|
||||
|
|
|
@ -48,7 +48,7 @@ END{
|
|||
sub("tmp/","",FILENAME)
|
||||
if(FILENAME != "home.gmo"){
|
||||
print "most recent update on: 1" fecha
|
||||
print "=> https://codeberg.org/sejo/compudanzas/src/branch/main/src/" FILENAME " source file"
|
||||
print "=> https://tildegit.org/sejo/compudanzas/src/branch/main/src/" FILENAME " source file"
|
||||
}
|
||||
print "=> https://wiki.p2pfoundation.net/Peer_Production_License peer production license"
|
||||
print "=> ./home.gmi home"
|
||||
|
|
Loading…
Reference in New Issue