diff options
Diffstat (limited to 'doc/dev_manual.rst')
-rw-r--r-- | doc/dev_manual.rst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst index c37094090..29d1cbf1d 100644 --- a/doc/dev_manual.rst +++ b/doc/dev_manual.rst @@ -1265,7 +1265,10 @@ integrated into your BSP or into PTXdist. PTXdist handles patching automatically. After extracting the archive of a package, PTXdist checks for the existence of -a patch directory named like its ``<PKG>`` variable. +a patch directory named like its ``<PKG>_PATCHES`` variable, or, if this variable +is not set, like its ``<PKG>`` variable. +The patch directory is then searched in all locations listed by the +``PTXDIST_PATH_PATCHES`` variable, and the first one found is used. Take an exemplary package ``foo`` with version ``1.1.0``: The variable ``FOO`` will have the value ``foo-1.1.0``, so PTXdist will look for a patch directory named ``foo-1.1.0`` in the following locations: |