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? -- Bastien
