-# make sure description is up-to-date
-#echo "%{supported_file_types}" > supported_file_types.old.txt
-#echo "%{supported_meta_information}" > supported_meta_information.old.txt
-
-#awk -vname="File Types" '{ if ( start ) { if ( $0 ~ /^$/ ) { print ""; exit 0 } print } if ( $0 ~ name ) { start = 1; print "" }; }' < README > supported_file_types.new.txt
-#awk -vname="Meta Information" '{ if ( start ) { if ( $0 ~ /^$/ ) { print ""; exit 0 } print } if ( $0 ~ name ) { start = 1; print "" }; }' < README > supported_meta_information.new.txt
-
-#cmp supported_file_types.old.txt supported_file_types.new.txt
-#cmp supported_meta_information.old.txt supported_meta_information.new.txt
-