diff options
author | Ulrich Müller <ulm@gentoo.org> | 2017-04-10 18:00:48 +0200 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2017-04-10 18:00:48 +0200 |
commit | 251bdc7a835b9a584e19d757191c24aa9bec9710 (patch) | |
tree | 5c5ecd44512e3ffb56d6fc516925bc86a15b9f3f /profiles.tex | |
parent | All EAPIs supporting controllable compression are also prefix aware. (diff) | |
download | pms-251bdc7a835b9a584e19d757191c24aa9bec9710.tar.gz pms-251bdc7a835b9a584e19d757191c24aa9bec9710.tar.bz2 pms-251bdc7a835b9a584e19d757191c24aa9bec9710.zip |
In captions, use teletype font where appropriate.
Diffstat (limited to 'profiles.tex')
-rw-r--r-- | profiles.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles.tex b/profiles.tex index 35f85b3..ff791ac 100644 --- a/profiles.tex +++ b/profiles.tex @@ -141,7 +141,7 @@ The precise manner in which the eight files interact is less simple, and is best of the algorithm used to determine whether a flag is masked for a given package version. This is described in Algorithm~\ref{alg:use-masking}. \begin{algorithm} -\caption{USE masking logic} \label{alg:use-masking} +\caption{\t{USE} masking logic} \label{alg:use-masking} \begin{algorithmic}[1] \STATE let masked = false \FOR{each profile in the inheritance tree, depth first} |