#!/bin/sh
# Produce a HTML-check file from ready formatted sequence-file,
# skipping three first terms from each sequence (only those on %S-line
# are used). Show the visited links with red, so it is easier to
# spot the duplicates of our own.
awk ' BEGIN { print "OEIS-check"; } /^%S/ { s1 = substr($3,1+index($3,",")); s2 = substr(s1,1+index(s1,",")); s3 = substr(s2,1+index(s2,",")); print "- "$2"="; print ""$3""; } END { print "
"; } '