changeset 27782:566adf9d823b

Add file with instructions for updating gnulib subrepo. * etc/GNULIB.UPDATE: New file with instructions for updating gnulib subrepo.
author Rik <rik@octave.org>
date Fri, 06 Dec 2019 13:35:50 -0800
parents 61cc648ab034
children c678143143c7
files etc/GNULIB.UPDATE
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/GNULIB.UPDATE	Fri Dec 06 13:35:50 2019 -0800
@@ -0,0 +1,7 @@
+## Instructions for updating gnulib on development branch
+cd gnulib
+hg pull default
+hg update
+cd ..
+hg commit -m "maint: update gnulib subrepo."
+hg push default -r .