[PATCH] docs: Use @file for .libs directory

[Jonathan Wakely]

        * doc/libtool.texi: Use @file format for directory name.
---
 doc/libtool.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/libtool.texi b/doc/libtool.texi
index b5e5c3fa..12fea4b5 100644
--- a/doc/libtool.texi
+++ b/doc/libtool.texi
@@ -869,7 +869,7 @@ against uninstalled shared libraries. The wrapper 
executable thus
 performs the same function as the wrapper script used on other
 platforms, but allows to satisfy the @command{make} rules for the
 program, whose name ends in @code{$(EXEEXT)}. The actual program
-executable is created below @value{objdir}, and its name will end
+executable is created below @file{@value{objdir}}, and its name will end
 in @code{$(EXEEXT)} and may or may not contain an @code{lt-} prefix.
 This wrapper executable sets various environment values so that the
 program executable may locate its (uninstalled) shared libraries,
-- 
2.30.2