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 2c79d0b84..2e88f6917 100644 --- a/makeopts.in +++ b/makeopts.in @@ -25,6 +25,7 @@ WGET=@WGET@ FETCH=@FETCH@ DOWNLOAD=@DOWNLOAD@ RUBBER=@RUBBER@ +CATDVI=@CATDVI@ KPATHSEA=@KPATHSEA@ XMLSTARLET=@XMLSTARLET@ MD5=@MD5@ |