diff doc/gnulib.texi @ 16236:8d0c35a0ae1d

doc: fix minor quoting issues, mostly with `
author Paul Eggert <eggert@cs.ucla.edu>
date Thu, 05 Jan 2012 23:59:09 -0800
parents 8250f2777afc
children f26fd2095252
line wrap: on
line diff
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -1087,7 +1087,7 @@
 @item Build modules
 
 On the build machine, run ./do-autobuild (or "nohup ./do-autobuild").
-It creates a directory 'logs/' with a log file for each module.
+It creates a directory @file{logs/} with a log file for each module.
 
 @item Submit build logs