diff options
Diffstat (limited to 'makeopts.in')
-rw-r--r-- | makeopts.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makeopts.in b/makeopts.in index 233c06c97..e425dbc3b 100644 --- a/makeopts.in +++ b/makeopts.in @@ -28,6 +28,7 @@ SOUNDS_CACHE_DIR=@SOUNDS_CACHE_DIR@ RUBBER=@RUBBER@ CATDVI=@CATDVI@ KPATHSEA=@KPATHSEA@ +XMLLINT=@XMLLINT@ XMLSTARLET=@XMLSTARLET@ MD5=@MD5@ SHA1SUM=@SHA1SUM@ |