[m-rev.] packaging diff: Update the page on the website

Paul Bone paul at bone.id.au
Thu Jan 17 22:35:26 AEDT 2019

Update the page on the website

 debian_web/index.html | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/debian_web/index.html b/debian_web/index.html
index df488e4..bda29f2 100644
--- a/debian_web/index.html
+++ b/debian_web/index.html
@@ -108,6 +108,7 @@ Replace <i>DISTRO</i> with either <code>jessie</code> or
 If your OS version isn't listed,
 then try the jessie packages first, they use the faster low-level-C grades
 but require gcc-4.8 specifically.
+If you wish to use "mercury-rotd" the you'll need the "stretch" packages.
@@ -115,7 +116,7 @@ Update your packages list.
-sudo apt-get update
+sudo apt update
@@ -143,5 +144,10 @@ command:
 apt-cache showsrc mercury
+<h2>More info</h2>
+Notes on maintaining these packages are kept
+<a href="https://github.com/Mercury-Language/packaging">on github</a>.

More information about the reviews mailing list