[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.
</p>
<p>
@@ -115,7 +116,7 @@ Update your packages list.
</p>
<code><pre>
-sudo apt-get update
+sudo apt update
</pre></code>
<p>
@@ -143,5 +144,10 @@ command:
apt-cache showsrc mercury
</pre></code>
+<h2>More info</h2>
+
+Notes on maintaining these packages are kept
+<a href="https://github.com/Mercury-Language/packaging">on github</a>.
+
</body>
</html>
--
2.17.1
More information about the reviews
mailing list