bug-gnulib
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: gendocs.sh --tex ARG (patch)

From: Karl Berry
Subject: Re: gendocs.sh --tex ARG (patch)
Date: Tue, 7 Apr 2015 21:51:17 GMT 
    You got the wrong impression. 

Ok, good :).

    So please do install the patch.

Done.

k
reply via email to
[Prev in Thread] Current Thread [Next in Thread]