... 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 Thanks. Samuel -- The Kafka Pandemic: http://thekafkapandemic.blogspot.com
