wswsh: Remove external file support.

Ypnose · Ypnose · commit 2ba1281b80fb · 2015-02-25T20:39:50.000+01:00
We gain 11 SLOC by removing an optional feature which shouldn't
be included in the main script. The needed file(s) could be easily
added via Makefile (or even an external script called with make).
There was also a nasty "bug" when a file added via FIL, had the same
extension specified in EXT. It was badly handled by INTERP.

A specific find command could be written but once again this feature
isn't the "core" of wswsh (vs LOC ratio).
HTML files are still automatically managed, therefore you don't need
to specify them somewhere (bump Alex).
diff --git a/wswsh b/wswsh
@@ -109,19 +109,6 @@ function gen_page {
 		cp -- "$LINEH" "dest/${LINEH#*/}"
 	done
 
-	# Test if the file exists. Then find it/them and copy it/them to dest (supports multiple files with same name).
-	if [[ -n $FIL ]]; then
-		for y in $FIL; do
-			if [[ -z $(find "src" -type f -name "$y") ]]; then
-				print -- "$y is missing"
-				continue
-			fi
-			find "src" -type f -name "$y" | while IFS=$'\n' read -r LINEF; do
-				cp "src/${LINEF#*/}" "dest/${LINEF#*/}"
-			done
-		done
-	fi
-
 	cd ..
 	TOT=$(find "${RAC}/dest" -type f | wc -l)
 	print "Generated $TOT files"
diff --git a/wswsh.conf.default b/wswsh.conf.default
@@ -48,8 +48,3 @@
 # DON'T FORGET THE TRAILING SLASH!
 # Default value (when FEED is enabled): dest/
 #RSSDIR=""
-
-# Files not handled by the generation.
-# Useful for robots.txt files for example.
-# Separate filename with spaces.
-#FIL=""
