convert: strip dead links

Mark Ferry commited 2022-05-15 21:49:18 +0100 commit 56f1fc60a4a855d5eabee38608909b938a406c22

				convert.sed
			
          @@ -22,6 +22,7 @@ s/^\(#\+\)\s\+[0-9.]\+\s\+/\1 /

           /markferry.net\/pmwiki\/pmwiki/ s%http://markferry.net/pmwiki/pmwiki.php?n=%/%

           # strip dead links

           /\?/ s/\[\(\w\+\)\]\[[0-9]*\]\[?\]\[[0-9]*\]/\1/g

          +s/\[\([^]]\+\)]\[[0-9]\+]\[?]\[[0-9]\+]/\1/g

           # Convert page titles

           1 {

...	...	@@ -22,6 +22,7 @@ s/^\(#\+\)\s\+[0-9.]\+\s\+/\1 /
22	22	/markferry.net\/pmwiki\/pmwiki/ s%http://markferry.net/pmwiki/pmwiki.php?n=%/%
23	23	# strip dead links
24	24	/\?/ s/\[\(\w\+\)\]\[[0-9]\]\[?\]\[[0-9]\]/\1/g
	25	+s/\[\([^]]\+\)]\[[0-9]\+]\[?]\[[0-9]\+]/\1/g
25	26
26	27	# Convert page titles
27	28	1 {