subject:"\[O\] org\-version.inc missing"

Re: [O] org-version.inc missing

2012-11-13 Thread David Arroyo Menéndez

Thanks! make pdf is ok! Bastien 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 fo

Re: [O] org-version.inc missing

2012-11-13 Thread Bastien

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

[O] org-version.inc missing

2012-11-13 Thread davidam

Hi, I'm trying make texi2pdf to orgguide.texi with some troubles. IMHO someone has forgotten make git push to org-version.inc $ git clone git://orgmode.org/org-mode.git org-mode/doc$ texi2pdf orgguide.texi This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) restricted \write18