Small improvements on formatting

2022-11-09 08:30:31 -05:00 · 2022-11-09 08:30:31 -05:00 · 8dcda8df45
parent 5a0fb1b417
commit 8dcda8df45
2 changed files with 4 additions and 4 deletions
--- a/debuginfod-us.org
+++ b/debuginfod-us.org
@ -16,11 +16,11 @@

 * How does it work?
 - There's a =debuginfod= server (e.g., at
-  https://debuginfod.ubuntu.com) that indexes all available debuginfo
-  from supported Ubuntu releases.
+  https://debuginfod.ubuntu.com) that indexes all available debug
+  information from supported Ubuntu releases.
 #+BEAMER: \pause
- Debugger-like tools (e.g., =GDB=) link against
- =libdebuginfod=, which provides the client support.
+- Debugger-like tools (e.g., =GDB=) link against =libdebuginfod=,
+  which provides the client support.
 #+BEAMER: \pause
 - When the tool needs a certain debuginfo, it will contact the
 =debuginfod= server (specified via the =DEBUGINFOD_URLS= shell
--- a/debuginfod-us.pdf
+++ b/debuginfod-us.pdf