diff options
| author | Bruno Victal <mirai@makinata.eu> | 2023-10-09 21:06:14 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-06-17 22:51:36 +0200 |
| commit | c329ba9876b097ff9e2a942bc10b8946314e2313 (patch) | |
| tree | a9d4a6219cfdaa42a89d73e5b75b640f836afcab /gnu/packages/freedesktop.scm | |
| parent | 4ec086a422724b0da12919252b37feda1645b2e1 (diff) | |
gnu: secilc: Drop xmlto workaround.
The xmlto error[1] was due to libsepol using an unversioned PUBLIC identifier
for DocBook 4.2.
[1]: <https://pagure.io/xmlto/blob/6fa6a0e07644f20abf2596f78a60112713e11cbe/f/FAQ>
* gnu/packages/patches/libsepol-versioned-docbook.patch: New file.
* gnu/local.mk: Register it.
* gnu/packages/selinux.scm (libsepol)[source]: Apply it.
(secilc)[arguments]: Drop xmlto workaround.
[native-inputs]: Add docbook-xml-4.2.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Change-Id: I152dd7a30b2a310ed6589133bc98f5eef8a190a1
Diffstat (limited to 'gnu/packages/freedesktop.scm')
0 files changed, 0 insertions, 0 deletions