summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2019-08-24 21:01:45 +0200
committerUlrich Müller <ulm@gentoo.org>2019-08-24 21:01:45 +0200
commit6804b582062eeb492d1edaf499d43f2808a36750 (patch)
tree1315a39bfb0ac87c2d520dae6a05b1d62c925feb
parentpkg-mgr-commands.tex: Fix indentation in einstall listing. (diff)
downloadpms-6804b582062eeb492d1edaf499d43f2808a36750.tar.gz
pms-6804b582062eeb492d1edaf499d43f2808a36750.tar.bz2
pms-6804b582062eeb492d1edaf499d43f2808a36750.zip
tree-layout.tex: Typographic fix.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r--tree-layout.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/tree-layout.tex b/tree-layout.tex
index 0ff1ec9..f84f6f5 100644
--- a/tree-layout.tex
+++ b/tree-layout.tex
@@ -74,7 +74,7 @@ this specification.
The profiles directory shall contain zero or more profile directories as described in
chapter~\ref{ch:profiles}, as well as the following files and directories. In any line-based file,
-lines beginning with a \# character are treated as comments, whilst blank lines are ignored.
+lines beginning with a \t{\#} character are treated as comments, whilst blank lines are ignored.
All contents of this directory, with the exception of \t{repo_name}, are optional.
The profiles directory may contain an \t{eapi} file. This file, if it exists, must contain a single