Hello,
Here is a patch for a tiny tiny bug.
I would also suggest to update the savannah page to include
bug-standards in the mailing-lists.
--
Mathieu Lirzin
--- old/make-stds.texi 2014-12-31 23:19:36.000000000 +0100
+++ new/make-stds.texi 2015-02-03 18:03:04.516458544 +0100
@@ -361,7 +361,7 @@
systems.
Installers are expected to override these values when calling
-@command{make} (e.g., @kbd{make prefix=/usr install} or
+@command{make} (e.g., @kbd{make prefix=/usr install}) or
@command{configure} (e.g., @kbd{configure --prefix=/usr}). GNU
packages should not try to guess which value should be appropriate for
these variables on the system they are being installed onto: use the
