diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2015-03-24 19:36:05 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2015-03-24 19:36:05 +0100 |
| commit | 70a153d64d99a7daeec55abd2d1aed326a8b19c7 (patch) | |
| tree | 6e958f5d2d2354a0848716d81611af05b56193ab /profiles.tex | |
| parent | Drop RESTRICT=sandbox. (diff) | |
| download | pms-70a153d64d99a7daeec55abd2d1aed326a8b19c7.tar.gz pms-70a153d64d99a7daeec55abd2d1aed326a8b19c7.tar.bz2 pms-70a153d64d99a7daeec55abd2d1aed326a8b19c7.zip | |
Typographic fixes to make chktex happier.
Diffstat (limited to 'profiles.tex')
| -rw-r--r-- | profiles.tex | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/profiles.tex b/profiles.tex index b33e1b1..ca3b1d7 100644 --- a/profiles.tex +++ b/profiles.tex @@ -29,11 +29,11 @@ This file must not contain comments, blank lines or make use of line continuatio \subsection{The eapi file} \label{sec:profile-eapi} -A profile directory may contain an \t{eapi} file. This file, if it exists, must contain a single line -with the name of an EAPI. This specifies the EAPI to use when handling the directory in question; a -package manager must not attempt to use any profile using a directory which requires an EAPI it does -not support. If no \t{eapi} file is present, EAPI 0 shall be used. The EAPI is not inherited via the -\t{parent} file. +A profile directory may contain an \t{eapi} file. This file, if it exists, must contain a single +line with the name of an EAPI\@. This specifies the EAPI to use when handling the directory in +question; a package manager must not attempt to use any profile using a directory which requires an +EAPI it does not support. If no \t{eapi} file is present, EAPI 0 shall be used. The EAPI is not +inherited via the \t{parent} file. \subsection{deprecated} If a profile contains a file named \t{deprecated}, it is treated as such. The first line of this |