diff --git a/tools/makereport b/tools/makereport index 0fb2e2ec33..2cccd3cad7 100755 --- a/tools/makereport +++ b/tools/makereport @@ -2,9 +2,11 @@ readonly paper="${1%.md}" -(cat <