Re: [O] Cannot build documentation (release_8.3beta-155-g82b64d)

2014-08-08 Thread Vicente Vera
I think you're right. It seems TeX Live 2014 installed its own texinfo over the one i got from the debian stable repository, but i'm not 100% sure. Thanks for the help! 2014-08-05 19:37 GMT-04:00 Vicente Vera vicente...@gmail.com: Yes, i had an old makeinfo (4.13) that lives in the debian

Re: [O] Cannot build documentation (release_8.3beta-155-g82b64d)

2014-08-06 Thread Achim Gratz
Vicente Vera writes: Yes, i had an old makeinfo (4.13) that lives in the debian wheezy repository. Just now got the latest version and it worked. Didn't thought about this since some commits ago the documentation was built just fine with makeinfo 4.13. Glad you've solved it, but makeinfo 4.13

Re: [O] Cannot build documentation (release_8.3beta-155-g82b64d)

2014-08-05 Thread Vicente Vera
Hello. Started another clean cloned local repository to try building the documentation again and the errors persist. 'M-x org-version' gives: Org-mode version 8.3beta (release_8.3beta-167-g003edd @ /usr/local/share/emacs/site-lisp/org/). I installed everything except documentation. Here's the

Re: [O] Cannot build documentation (release_8.3beta-155-g82b64d)

2014-08-05 Thread Nick Dokos
Vicente Vera vicente...@gmail.com writes: Hello. Started another clean cloned local repository to try building the documentation again and the errors persist. 'M-x org-version' gives: Org-mode version 8.3beta (release_8.3beta-167-g003edd @ /usr/local/share/emacs/site-lisp/org/). I

Re: [O] Cannot build documentation (release_8.3beta-155-g82b64d)

2014-08-05 Thread Achim Gratz
Vicente Vera writes: Hello. Started another clean cloned local repository to try building the documentation again and the errors persist. The error is quite likely on your side. What is the output of which makeinfo file `which makeinfo` makeinfo --version as I suspect that you pick up some

Re: [O] Cannot build documentation (release_8.3beta-155-g82b64d)

2014-08-05 Thread Vicente Vera
Yes, i had an old makeinfo (4.13) that lives in the debian wheezy repository. Just now got the latest version and it worked. Didn't thought about this since some commits ago the documentation was built just fine with makeinfo 4.13. Thank you very much Nick Achim. 2014-08-05 12:33 GMT-04:00

[O] Cannot build documentation (release_8.3beta-155-g82b64d)

2014-08-01 Thread Vicente Vera
Hello, recently I tried to install the latest development snapshot from Git through the following procedure, which has worked for me perfectly until now: - make cleanall - make up0 - make install When the build system gets to creating the documentation (just the info file) these error lines