adamsgaard.dk

my academic webpage
git clone git://src.adamsgaard.dk/adamsgaard.dk # fast
git clone https://src.adamsgaard.dk/adamsgaard.dk.git # slow
Log | Files | Refs | README | LICENSE Back to index

commit e006c38bc37f32ae85df5e338444224c6c750671
parent 5868713511428fda12cc982b1cca1f81a2d5d0b2
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date:   Mon, 20 Feb 2023 20:41:01 +0100

Makefile: fix sed call for gnu sed

Diffstat:
MMakefile | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile @@ -16,7 +16,7 @@ generate: cat "$$f" >> "$$out"; \ done mv $(output)/*.gph $(gopheroutput)/ - sed -i 's,|\([A-z0-9-]*\)\.html|server|port,|/\1.txt|server|port,' \ + sed -i 's,|\([A-Za-z0-9-]*\)\.html|server|port,|/\1.txt|server|port,' \ $(gopheroutput)/index.gph sed 's,https://adamsgaard.dk,gopher://adamsgaard.dk/0,g; \ s,text/html,text,g; \