Browse Source

Update to handle new latex formatting

Samuel W. Flint 4 years ago
parent
commit
4fbf51f125
1 changed files with 4 additions and 6 deletions
  1. 4 6
      symbolic-sat.org

+ 4 - 6
symbolic-sat.org

@@ -5,12 +5,10 @@
 #+INFOJS_OPT: view:info toc:nil path:http://flintfam.org/org-info.js
 #+OPTIONS: toc:nil H:5 ':t *:t todo:nil stat:nil d:nil
 #+PROPERTY: header-args :noweb no-export :comments noweb
-#+LATEX_HEADER: \usepackage[margins=0.75in]{geometry}
-#+LATEX_HEADER: \parskip=5pt
-#+LATEX_HEADER: \parindent=0pt
 #+LATEX_HEADER: \lstset{texcl=true,breaklines=true,columns=fullflexible,basicstyle=\ttfamily,frame=lines,literate={<=}{$\leq$}1 {>=}{$\geq$}1}
-#+LATEX_CLASS_OPTIONS: [10pt,twoside]
-#+LATEX_HEADER: \pagestyle{headings}
+#+LATEX_CLASS_OPTIONS: [10pt,twoside,paper=letter,DIV=14]
+#+LATEX_HEADER: \usepackage[style=numeric-comp]{biblatex}
+#+LATEX_HEADER: \addbibresource{bibliography.bib}
 
 * Export                                                           :noexport:
 
@@ -611,4 +609,4 @@ This defines the ASDF system, called ~#:symbolic-sat~, having a description, an
 
 * Bibliography                                                       :ignore:
 
-#+BIBLIOGRAPHY: bibliography acm
+#+LATEX: \printbibliography