diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/src/user.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/src/user.tex b/docs/src/user.tex index ea183158c3..3c3afcee78 100644 --- a/docs/src/user.tex +++ b/docs/src/user.tex @@ -1450,7 +1450,7 @@ tools/vtpm/Rules.mk must look as follows: BUILD_EMULATOR = y \end{verbatim} -Second, the entry in the file tool/vtpm_manager/Rules.mk must be uncommented +Second, the entry in the file tool/vtpm\_manager/Rules.mk must be uncommented as follows: \begin{verbatim} |