[TASK] (greda): add local dimension file to flist

This is a legacy commit from before 2015-03-01.
It may be incomplete as well as inconsistent.
See COPYING.legacy and README.history for details.

src/green/disan/Makefile

@@ -50,7 +50,7 @@ $(LOCBINDIR)/%: %
 # standard edit targets
 .PHONY: clean edit
 
-EDITFILES=Makefile $(wildcard *.f *.inc) COPYING README
+EDITFILES=Makefile $(wildcard *.f *.inc *dim.xxx) COPYING README
 flist: Makefile $(wildcard *.f *.inc) COPYING README $(TF_EDIT)
 	echo $(EDITFILES) | tr ' ' '\n' | sort > $@
 	echo '----' >> $@