Admin/linktest
changeset 36859 51af1657263b
parent 17750 a0745bc36660
equal deleted inserted replaced
36858:8eac822dec6c 36859:51af1657263b
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
       
     3 # $Id$
       
     4 #
     2 #
     5 # leightweight link checker for the isabelle website
     3 # leightweight link checker for the isabelle website
     6 
     4 
     7 
     5 
     8 PRG=`basename "$0"`
     6 PRG=`basename "$0"`