#!/bin/csh -f
# @(#)(c)_ExNet_1988--91 File_list.sh 1.9@(#) 91/09/17 #

if ( "$1" == "" ) then
	egrep -v '^#.*|^\\.*' tmpsourcefiles
else if ( "$1" == "nohash" ) then
	egrep -v '^#.*' tmpsourcefiles
else if ( "$1" == "macro" ) then
	$0 | awk '	{ printf("%0.3d \\\n", NR); } END { print "" }'
else if ( "$1" == "dependencies" ) then
	$0 | awk '	BEGIN { lastdvifile = "root.tex";					\
						print "000.dvi : root.tex 000.TEX title.tex"; }\
						{											\
						source =$1;									\
						dvifile=sprintf("%0.3d.dvi", NR);			\
						TEXfile=sprintf("%0.3d.TEX", NR);			\
						print dvifile " : " lastdvifile " "TEXfile" "source;\
						lastdvifile=dvifile							\
						}'
else if ( "$1" == "texlinks" ) then
	$0 | awk '	BEGIN { print "rm -f ???.tex ???.TEX >& /dev/null"; \
						print "rm -f *.{dvi,aux,log,idx} >& /dev/null";\
						print "echo title.tex > 000.TEX"; }			\
						{											\
						source =$1;									\
						TEXfile=sprintf("%0.3d.TEX", NR);			\
						print "echo "source" >"TEXfile;				\
						}'
else if ( "$1" == "includes" ) then
	 $0 nohash | \
		 awk '	$1 != "\\appendix" { printf("\\include{%0.3d}\n", ++i) }\
				$1 == "\\appendix" { print "\\appendix" }'
endif
