Thanks!

make pdf is ok!

Bastien <b...@altern.org> writes:

> Hi David,
>
> davi...@es.gnu.org writes:
>
>> I'm trying make texi2pdf to orgguide.texi with some troubles. IMHO someone
>> has forgotten make git push to org-version.inc
>
> org-version.inc is generated by the Makefile. 
>
> What does `make pdf' do for you?

Reply via email to