diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-22 20:46:12 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-23 18:26:48 +0200 |
| commit | 8e41c388679aedc12eb1a7a7aff1b4818040ff4a (patch) | |
| tree | e89fe48bfe21b2ed6e28decd1dd6f2250d41f7a0 /Makefile.config.in | |
| parent | e0ea3c82ca9e46359c55c9f716fec016f8d483ea (diff) | |
Remove references to xmllint
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 5c245b8e9..3845b3be0 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -41,5 +41,3 @@ sandbox_shell = @sandbox_shell@ storedir = @storedir@ sysconfdir = @sysconfdir@ system = @system@ -xmllint = @xmllint@ -xsltproc = @xsltproc@ |