docs: Use @file for .libs directory

* doc/libtool.texi: Use @file format for directory name.

diff --git a/doc/libtool.texi b/doc/libtool.texi
index 03076cf87fbe59a3a1d51f3228032d5fe06f449d..164ada07a8c08693dd23daf4caeee508d77f0ac6 100644 (file)
--- a/doc/libtool.texi
+++ b/doc/libtool.texi
@@ -866,7 +866,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,