Bug#730599: makeinfo -D 'var value' doesn't work
On Tue, 06 May 2014, Hilmar Preusse wrote:
> The savannah patch applies cleanly. Do you mind if I perform a
> git-commit?
*of*course* I do *not* mind!!!!
;-) That is what we call collab maintainance !
Norbert
------------------------------------------------------------------------
PREINING, Norbert http://www.preining.info
JAIST, Japan TeX Live & Debian Developer
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
------------------------------------------------------------------------
Reply to: