Administrivia

rocky · rocky · commit c54c4c047b62 · 2021-02-07T05:15:48.000-05:00
diff --git a/admin-tools/make-dist.sh b/admin-tools/make-dist.sh
@@ -1,3 +1,4 @@
+#!/bin/bash
 PACKAGE=mathics3
 
 # FIXME put some of the below in a common routine

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+#!/bin/bash`
`1`	`2`	`PACKAGE=mathics3`
`2`	`3`
`3`	`4`	`# FIXME put some of the below in a common routine`