search

SRI-CSL / ETB

The Evidential Tool Bus
GNU General Public License v3.0
6 stars 4 forks source link

Building documentation requires emacs and org-mode #1

Open benjaminfjones opened 9 years ago

benjaminfjones commented 9 years ago

Trying to build the docs for ETB I ran into the fact that emacs and org-mode seem to be required, even though the .tex files are already included in the doc directory of the repo.

$ make
emacs --batch etb_tutorial.org -f org-export-as-latex --kill
Symbol's function definition is void: org-export-as-latex
make: *** [etb_tutorial.tex] Error 255
samowre commented 9 years ago

Thanks for the feedback, we'll try and sort that out shortly. At the moment we're reworking much of the code, in particular to improve error reporting, e.g., when a wrapper fails.

Sam Owre

albreche commented 8 years ago

On the current master, file etb_tutorial.tex is not in the doc folder. Also it is impossible to export etb_tutorial.org to a tex file in batch mode on an unbunut 16.04 with emac24 and org-mode . The error message is : Symbol's function definition is void: org-export-as-latex

Nevertheless, the etb_tutorial.tex can be generated from emacs in normal mode (not bash)*. Same problem for etb_config.

There's a missing dependancy : pygments which is not listed in README.

Finally, bibtex file is missing and etb_apis.tex also.