summary refs log tree commit diff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-12-14 19:08:20 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2020-12-14 19:11:03 +0100
commit48cccf06ad84f96bb4fc839ab6f26525c7e8dae0 (patch)
tree5bf6468b2bc55a8bef6d46524886bb70fe521425
parentdb785b74973ae3013414e52e201c02ed9fec7893 (diff)
downloadguix-48cccf06ad84f96bb4fc839ab6f26525c7e8dae0.tar.gz
doc: Note different texlive-tiny & texline-union natures.
* doc/contributing.texi (Submitting Patches): Add ‘package’ and
‘procedure’.

Inspired-by: Jorge P. de Morais Neto
-rw-r--r--doc/contributing.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/contributing.texi b/doc/contributing.texi
index 866d2dae6b..78d9990b30 100644
--- a/doc/contributing.texi
+++ b/doc/contributing.texi
@@ -1009,7 +1009,7 @@ to other packages unwillingly retained.  It may also help determine
 whether to split the package (@pxref{Packages with Multiple Outputs}),
 and which optional dependencies should be used.  In particular, avoid adding
 @code{texlive} as a dependency: because of its extreme size, use
-@code{texlive-tiny} or @code{texlive-union} instead.
+the @code{texlive-tiny} package or @code{texlive-union} procedure instead.
 
 @item
 For important changes, check that dependent package (if applicable) are