diff tools/makeinst-script.sh.in @ 4602:a487b12dc08f

* tools/makeinst-script.sh.in: include HG-ID in installed files
author John Donoghue
date Fri, 09 Feb 2018 07:46:04 -0500
parents 1a3deda73484
children dac40a0ff814
line wrap: on
line diff
--- a/tools/makeinst-script.sh.in	Mon Jan 29 11:57:20 2018 -0500
+++ b/tools/makeinst-script.sh.in	Fri Feb 09 07:46:04 2018 -0500
@@ -231,6 +231,8 @@
 
   File "$OCTAVE_SOURCE/fc_update.bat"
 
+  File "$OCTAVE_SOURCE/HG-ID"
+
   ; distro files
 EOF
   if [ -f $OCTAVE_SOURCE/cmdshell.bat ]; then