ndwarshuis
/
org-mode
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix org info manual compilation

This commit is contained in:
Suvayu Ali 2013-04-13 21:33:17 +02:00 committed by Nicolas Goaziou
parent a6afda1a2e
commit d5da1d9428
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/org.texi
View File

@ -11273,7 +11273,7 @@ You can choose default values for these options by customizing the variable
@code{org-html-infojs-options}. If you always want to apply the script to your @code{org-html-infojs-options}. If you always want to apply the script to your
pages, configure the variable @code{org-html-use-infojs}. pages, configure the variable @code{org-html-use-infojs}.
@node @LaTeX{} and PDF export, OpenDocument Text export, HTML export, Exporting @node @LaTeX{} and PDF export, Markdown export, HTML export, Exporting
@section @LaTeX{} and PDF export @section @LaTeX{} and PDF export
@cindex @LaTeX{} export @cindex @LaTeX{} export
@cindex PDF export @cindex PDF export