tweaks

.gitignore

@@ -7,3 +7,5 @@
 *.blg
 *.fdb_latexmk
 *~
+auto
+*.synctex.gz

adoptions/paper.tex

@@ -14,14 +14,15 @@
 %\hypersetup{linkcolor=red,citecolor=blue,urlcolor=gray,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered}
 
 
-%\usepackage[eso-foot,today]{svninfo}
-\usepackage[final]{svninfo}
-\svnInfo $Id: paper.tex 1222 2014-01-23 08:15:46Z kohlhase $
-\svnKeyword $HeadURL: https://svn.mathweb.org/repos/mws/doc/papers/mir12/paper.tex $
 \usepackage[linkcolor=black]{hyperref}
 
 \usepackage[hyperref=auto,style=alphabetic,citestyle=alphabetic,isbn=false,backend=bibtex]{biblatex}
-\bibliography{pub_rabe,systems,kwarcpubs,extpubs,kwarccrossrefs,extcrossrefs}
+\addbibresource{pub_rabe.bib}
+\addbibresource{systems.bib}
+\addbibresource{kwarcpubs.bib}
+\addbibresource{extpubs.bib}
+\addbibresource{kwarccrossrefs.bib}
+\addbibresource{extcrossrefs}
 \usepackage{local}
 
 
@@ -79,3 +80,8 @@ adequately represent content of flexible formality.
 
 \printbibliography
 \end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End:

flatsearch/paper.tex

@@ -12,14 +12,15 @@
 %\hypersetup{linkcolor=red,citecolor=blue,urlcolor=gray,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered}
 
 
-%\usepackage[eso-foot,today]{svninfo}
-\usepackage[final]{svninfo}
-\svnInfo $Id: paper.tex 1222 2014-01-23 08:15:46Z kohlhase $
-\svnKeyword $HeadURL: https://svn.mathweb.org/repos/mws/doc/papers/mir12/paper.tex $
 \usepackage[linkcolor=black]{hyperref}
 
 \usepackage[hyperref=auto,style=alphabetic,citestyle=alphabetic,isbn=false,backend=bibtex]{biblatex}
-\bibliography{pub_rabe,systems,kwarcpubs,extpubs,kwarccrossrefs,extcrossrefs}
+\addbibresource{pub_rabe.bib}
+\addbibresource{systems.bib}
+\addbibresource{kwarcpubs.bib}
+\addbibresource{extpubs.bib}
+\addbibresource{kwarccrossrefs.bib}
+\addbibresource{extcrossrefs}
 \usepackage{local}
 
 
@@ -76,3 +77,8 @@
 
 \printbibliography
 \end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End: