diff options
Diffstat (limited to 'add_kmidiff_man.patch')
-rw-r--r-- | add_kmidiff_man.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/add_kmidiff_man.patch b/add_kmidiff_man.patch new file mode 100644 index 000000000000..ba68ad698d9d --- /dev/null +++ b/add_kmidiff_man.patch @@ -0,0 +1,10 @@ +--- a/doc/manuals/conf.py ++++ b/doc/manuals/conf.py +@@ -220,6 +220,7 @@ + ('abilint', 'abilint', u'validate an abigail ABI representation', [u'Dodji Seketeli'], 1), + ('abicompat', 'abicompat', u'check ABI compatibility', [u'Dodji Seketeli'], 1), + ('fedabipkgdiff', 'fedabipkgdiff', u'compare ABIs of Fedora packages', [u'Chenxiong Qi'], 1), ++ ('kmidiff', 'kmidiff', u'compare KMIs of Linux Kernel trees', [u'Unknown'], 1), + ] + + # If true, show URL addresses after external links. |