# Make the current directory into a shadow directory tree of ../files-original, using symbolic links to the regular files.
# Then remove the file types we don't need.

PRIVATE = ./Dropbox/Unfinished_papers/2014_with_Kapulkin					\
	  ./Dropbox/Unfinished_papers/Type_systems/ahrens-lumsdaine-voevodsky-master

all:
	lndir -silent ../files-original .
	for i in $(PRIVATE) ; do if [ -d "$$i" ] ; then set -x ; find $$i -type l -delete ; fi ; done
	find . -type l -a '(' 			\
		   -name "*.aux"		\
		-o -name "Icon?"		\
		-o -name "*.log"		\
		-o -name "*.toc"		\
		-o -name "*.blg"		\
		-o -name "*.out"		\
		-o -name "*.synctex"		\
		-o -name "*.synctex.gz"		\
		-o -name "*.webarchive"		\
		-o -name "* alias"		\
	    ')' -delete
	find . -type d -a -empty -delete

remove-links:
	find . -type l -delete