#!/bin/sh
echo Content-type: text/html
echo

#echo "Arg1=" $1 ", Arg2=" $2
#echo

echo "<H2> CURL source file $1 </H2>"

echo "<PRE>"
head -$2 /projects/curl/webdocs/$1 | /projects/curl/webdocs/Utilities/cgi/escape-html

echo "</PRE> <A NAME=SOURCELINE> </A> <PRE>"

tail +$2 /projects/curl/webdocs/$1 | /projects/curl/webdocs/Utilities/cgi/escape-html
echo "</PRE>"