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?