diff --git a/doc/user/building.rst b/doc/user/building.rst index 0ec00ba0..2cfdc6bf 100644 --- a/doc/user/building.rst +++ b/doc/user/building.rst @@ -166,7 +166,7 @@ Build dependencies libinput has a few build-time dependencies that must be installed prior to running meson. -.. note:: The build dependencies for some distributions can be found in the +.. hint:: The build dependencies for some distributions can be found in the `GitLab Continuous Integration file `_. Search for **FEDORA_RPMS** in the **variables:** definition and check the list for an entry for your distribution. diff --git a/doc/user/configuration.rst b/doc/user/configuration.rst index fd1dab83..e469bf36 100644 --- a/doc/user/configuration.rst +++ b/doc/user/configuration.rst @@ -6,7 +6,7 @@ Configuration options Below is a list of configurable options exposed to the users. -.. note:: Not all configuration options are available on all devices. Use +.. hint:: Not all configuration options are available on all devices. Use :ref:`libinput list-devices ` to show the configuration options for local devices. diff --git a/doc/user/reporting-bugs.rst b/doc/user/reporting-bugs.rst index 50addd5f..4bb6f675 100644 --- a/doc/user/reporting-bugs.rst +++ b/doc/user/reporting-bugs.rst @@ -7,9 +7,9 @@ Reporting bugs A new bug can be filed here: https://gitlab.freedesktop.org/libinput/libinput/issues/new -.. note:: libinput has lots of users but very few developers. It is in your own - interested to follow the steps here precisely to ensure your bug can be - dealt with efficiently. +.. hint:: libinput has lots of users but very few developers. It is in your + own interest to follow the steps here precisely to ensure your bug can be + dealt with efficiently. When reporting bugs against libinput, you will need: @@ -315,7 +315,7 @@ Your distribution may pick a patch up immediately and ship the fix even before the next stable branch update is released. For example, Fedora does this frequently. -.. note:: If a bug needs to be fixed urgently, file a bug in your +.. hint:: If a bug needs to be fixed urgently, file a bug in your distribution's bug tracker. Patches on git master will end up in the next libinput release. Once your