From: Bruno Haible <bruno@clisp.org>
Date: Wed, 2 May 2007 22:17:07 +0000 (+0000)
Subject: texinfo tweak
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=826b7adacde70246eefe23472a9caefe299a364f;p=pspp

texinfo tweak
---

diff --git a/doc/functions/assert.texi b/doc/functions/assert.texi
index c2c1178efc..7c00b02207 100644
--- a/doc/functions/assert.texi
+++ b/doc/functions/assert.texi
@@ -14,5 +14,5 @@ Portability problems not fixed by Gnulib:
 @itemize
 @end itemize
 
-Extension: Gnulib offers a module @code{assert} that allows the installer to
+Extension: Gnulib offers a module @samp{assert} that allows the installer to
 disable assertions through a @samp{configure} option: @samp{--disable-assert}.