chore(*): support org-mode 9.0

AndresTFG · Nov 23, 2016 · 1779d02 · 1779d02
1 parent 59dcf61
commit 1779d02
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 9 deletions.
diff --git a/Makefile b/Makefile
@@ -18,7 +18,7 @@ tutorial.org: $(ORGS)
 	./merge_chapters.sh
 
 %.html: %.org .cask elisp/org-html-export.el header/html.org footer/bib.html.org lean.bib
-	@if [ ! -f ~/.cask/bin/cask ]; then echo "Cask Not Found. Please do 'make install-cask' first"; exit 1; fi
+	# @if [ ! -f ~/.cask/bin/cask ]; then echo "Cask Not Found. Please do 'make install-cask' first"; exit 1; fi
 	cat header/html.org $< > $(TMPDIR)/$<.temp.org
 	(grep "\\\\cite{" $< && cat footer/bib.html.org >> $(TMPDIR)/$<.temp.org) || true
 	cp *.bib $(TMPDIR)

diff --git a/basics.org b/basics.org
@@ -41,9 +41,9 @@
 #+LATEX_CLASS_OPTIONS: [11pt,ebook,table,dvipsnames,oneside,openany]
 #+LATEX_HEADER: \input{Header}
 
-#+BEGIN_LATEX
+#+BEGIN_EXPORT LATEX
 %\OnehalfSpacing
-#+END_LATEX
+#+END_EXPORT
 
 
 * Basics: Functional Programming in Lean

diff --git a/footer/latex.org b/footer/latex.org
@@ -1,4 +1,4 @@
-#+BEGIN_LATEX
+#+BEGIN_EXPORT LATEX
 \bibliographystyle{plain}
 \bibliography{lean}
 
@@ -9,4 +9,4 @@
 \clearpage
 \addcontentsline{toc}{chapter}{Index}
 \printindex
-#+END_LATEX
+#+END_EXPORT
diff --git a/header/latex.org b/header/latex.org
@@ -16,6 +16,6 @@
 #+LATEX_CLASS: per-file-class
 #+LATEX_CLASS_OPTIONS: [11pt,book,table,dvipsnames,oneside,openany]
 #+LATEX_HEADER: \input{header/latex.tex}
-#+BEGIN_LATEX
+#+BEGIN_EXPORT LATEX
 %\OnehalfSpacing
-#+END_LATEX
+#+END_EXPORT
diff --git a/header/latex_quickref.org b/header/latex_quickref.org
@@ -5,6 +5,6 @@
 #+LANGUAGE: en
 #+LATEX_CLASS_OPTIONS: [11pt,article]
 #+LATEX_HEADER: \input{header/latex_quickref.tex}
-#+BEGIN_LATEX
+#+BEGIN_EXPORT LATEX
 %\OnehalfSpacing
-#+END_LATEX
+#+END_EXPORT