1# 2# Copyright 2014, General Dynamics C4 Systems 3# 4# This software may be distributed and modified according to the terms of 5# the GNU General Public License version 2. Note that NO WARRANTY is provided. 6# See "LICENSE_GPLv2.txt" for details. 7# 8# @TAG(GD_GPL) 9# 10 11seL4 manual (including API). Default make target builds a PDF. 12 13Original text from paper template README follows... 14$Id: README,v 1.6 2007-03-07 15:09:26 gernot Exp $ 15 16A note on referencing: 17 18The paper/report template can now handle the use of bibexport, and is set up to 19use this method by default. In your paper or report, instead of specifying your 20bibfile sources in the \bibliography{file0,file1} command, you simply specify 21\bibliography{references}. Specify your source bibfiles in the Makefile as 22described above. 23 24At make time, the build system will parse your targets for citations and then 25collate all the BibTeX entries in references.bib. 26This is useful for several reasons. If you need to hand edit BibTeX entries to 27save room in your paper, you don't need to edit the ERTOS bibfiles, or make 28duplicates on entries in extras.bib. It also means that BibTeX entries are stored 29with the paper in the repository. 30 31The Makefile is smart. If you add or remove a reference to a target, the build 32system will ask you whether you want to rebuild references.bib. This is to ensure 33that if you have made changes by hand to any references, these aren't overwritten. 34 35Consider updating this template when appropriate. 36