Hi Samuel, Samuel Wales <samolog...@gmail.com> writes:
> ... > make -C doc info > makeinfo --no-split org.texi -o org > org.texi:2450: Unknown command `#$2)'. > makeinfo: Removing output file `org' due to errors; use --force to preserve. > make[1]: *** [org] Error 1 > make: *** [info] Error 2 > > makeinfo (GNU texinfo) 4.13 Fixed by reverting the commit, thanks. -- Bastien
