diff options
author | Ulrich Müller <ulm@gentoo.org> | 2019-12-04 18:18:45 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2019-12-08 12:32:04 +0100 |
commit | e2a34ce393ae620d239330d73cba9153ed7fdd13 (patch) | |
tree | 417303e2b404b69982fea3c2bb74c3110775c41d /ebuild-maintenance | |
parent | Element <br> is not supported. (diff) | |
download | devmanual-e2a34ce393ae620d239330d73cba9153ed7fdd13.tar.gz devmanual-e2a34ce393ae620d239330d73cba9153ed7fdd13.tar.bz2 devmanual-e2a34ce393ae620d239330d73cba9153ed7fdd13.zip |
Drop caption attribute from <pre> elements.
This isn't processed by devbook.xsl and doesn't show up in the output.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'ebuild-maintenance')
-rw-r--r-- | ebuild-maintenance/git/text.xml | 6 | ||||
-rw-r--r-- | ebuild-maintenance/maintenance-tasks/text.xml | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/ebuild-maintenance/git/text.xml b/ebuild-maintenance/git/text.xml index ee32c9c..ba811ac 100644 --- a/ebuild-maintenance/git/text.xml +++ b/ebuild-maintenance/git/text.xml @@ -63,7 +63,7 @@ To ensure that the Gentoo policies are followed, you should set the following configuration variables: </p> -<pre caption="Configuring git for the Gentoo repository"> +<pre> git config --local user.name "${YOUR_FULL_NAME}" # use your @gentoo.org address even if you have a different default git config --local user.email "${YOUR_NICKNAME}@gentoo.org" @@ -89,7 +89,7 @@ To include the converted CVS history in the git repository, you can graft it into the repository: </p> -<pre caption="Grafting the history into git"> +<pre> git remote add history https://anongit.gentoo.org/git/repo/gentoo/historical.git/ git fetch history git replace --graft 56bd759df1d0c750a065b8c845e93d5dfa6b549d history/master @@ -305,7 +305,7 @@ message. An example commit message is shown below: </p> -<pre caption="Example commit message"> +<pre> app-misc/foo: version bump to 0.5 This also adds a new USE flag 'bar' which controls the diff --git a/ebuild-maintenance/maintenance-tasks/text.xml b/ebuild-maintenance/maintenance-tasks/text.xml index 92dd0a0..50fe2f2 100644 --- a/ebuild-maintenance/maintenance-tasks/text.xml +++ b/ebuild-maintenance/maintenance-tasks/text.xml @@ -257,7 +257,7 @@ the latest file in <path>profiles/updates/</path> in the following format: </p> -<pre caption="Adding an entry to updates"> +<pre> move old-category/package-name new-category/package-name </pre> @@ -350,7 +350,7 @@ also need to create a new entry in <path>profiles/updates/</path> in the Gentoo repository in the following format: </p> -<pre caption="Adding an entry to updates"> +<pre> slotmove app-text/gtkspell 0 2 </pre> @@ -423,7 +423,7 @@ Here is a list of commands that will delete <path>dev-util/pmk</path> from the tree: </p> -<pre caption="Removing a package from git"> +<pre> # cd dev-qt # git rm -rf qtphonon # git commit --gpg-sign @@ -433,7 +433,7 @@ from the tree: An example commit message is shown below: </p> -<pre caption="Package removal commit message"> +<pre> commit b97eb6d43f45dfd5b739638928db22d3f3392685 Author: Michael Palimaka <kensington@gentoo.org> Date: Tue Oct 3 21:43:03 2017 +1100 |