diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-12-14 19:08:20 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-12-14 19:11:03 +0100 |
| commit | 48cccf06ad84f96bb4fc839ab6f26525c7e8dae0 (patch) | |
| tree | 5bf6468b2bc55a8bef6d46524886bb70fe521425 | |
| parent | db785b74973ae3013414e52e201c02ed9fec7893 (diff) | |
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.texi | 2 |
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 |