Fix duplicate file inclusion

dspinellis · dspinellis · commit fde7b4aa8c8c · 2020-09-04T14:17:42.000+03:00
diff --git a/src/import.sh b/src/import.sh
@@ -53,7 +53,6 @@ EOF
 create_readme()
 {
   fgrep -v zenodo.org/badge ../README.md
-  cat ../README.md
   echo
   echo '## Build identification'
   echo 'Data set versioned DOI: [![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.2525586.svg)](https://doi.org/10.5281/zenodo.2525586)'

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,6 @@ EOF`
`53`	`53`	`create_readme()`
`54`	`54`	`{`
`55`	`55`	`fgrep -v zenodo.org/badge ../README.md`
`56`		`- cat ../README.md`
`57`	`56`	`echo`
`58`	`57`	`echo '## Build identification'`
`59`	`58`	`echo 'Data set versioned DOI: [![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.2525586.svg)](https://doi.org/10.5281/zenodo.2525586)'`