README.org: move latex header stuff to external file
commit59d71091b6343d08a55feb8541e2edaac3856fca
authorDavid Bremner <bremner@debian.org>
Thu, 13 Nov 2014 21:57:41 +0000 (13 22:57 +0100)
committerBill Allombert <Bill.Allombert@math.u-bordeaux1.fr>
Sat, 15 Nov 2014 09:59:58 +0000 (15 10:59 +0100)
treed179210732f5a1a3bd6ac41b07d09093019798a8
parent1bf392602c0f567b2b01614e51dd70387e1f68f5
README.org: move latex header stuff to external file

Apparently these TeX macros were previously ignored, but they are not
any longer.
README-header.tex [new file with mode: 0644]
README.org