# HG changeset patch
# User John Donoghue
# Date 1518180364 18000
# Node ID a487b12dc08fea80570306255163f3cf94bf290a
# Parent  dc3eb553f5e94e22c616c30aaafb1abf76f7c270
* tools/makeinst-script.sh.in: include HG-ID in installed files

diff -r dc3eb553f5e9 -r a487b12dc08f tools/makeinst-script.sh.in
--- 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