diff options
| author | Julien Voisin | 2023-07-09 09:56:05 +0000 |
|---|---|---|
| committer | GitHub | 2023-07-09 09:56:05 +0000 |
| commit | e0b2c2ff3476a08ae71e2a1437ebf41bf4c61d5d (patch) | |
| tree | 637eeab72235cab5c80877bcbd38a2ac1c8f8d9e /doc/source | |
| parent | b4ef65c6f0b0f13fd81164cff7b09df737c34950 (diff) | |
| parent | c0833107b6ed177997663cc9c5c6f4812986964a (diff) | |
Fix typo: "fmp" is supposed to be "fpm"
Diffstat (limited to 'doc/source')
| -rw-r--r-- | doc/source/installation.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source/installation.rst b/doc/source/installation.rst index c4cc355..c08eabe 100644 --- a/doc/source/installation.rst +++ b/doc/source/installation.rst | |||
| @@ -44,7 +44,7 @@ prefer: | |||
| 44 | 44 | ||
| 45 | 45 | ||
| 46 | Be careful, on some distribution, there are separate configurations for | 46 | Be careful, on some distribution, there are separate configurations for |
| 47 | cli/fmp/cgi/… be sure to edit the right one. | 47 | cli/fpm/cgi/… be sure to edit the right one. |
| 48 | 48 | ||
| 49 | If you're using `Gentoo <https://gentoo.org>`__, you might encounter the | 49 | If you're using `Gentoo <https://gentoo.org>`__, you might encounter the |
| 50 | following error: | 50 | following error: |