From 310ee19bfa2815e2cba82593ccf60c558f4a3172 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Wed, 13 Sep 2023 00:10:35 +0200 Subject: Repair texinfo files after merge. --- doc/ref/general.texi | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/ref/general.texi') diff --git a/doc/ref/general.texi b/doc/ref/general.texi index b97dece0..a6fce4e7 100644 --- a/doc/ref/general.texi +++ b/doc/ref/general.texi @@ -29,3 +29,4 @@ of these should be generally useful in any project. @include general/data-formats.texi @include general/data-stores.texi @include general/webdav.texi +@include general/sxml.texi -- cgit v1.2.3