arm: implement flush cache debug syscall
[barrelfish] / doc / 018-Practical-guide / Hakefile
1 ----------------------------------------------------------------------
2 -- Copyright (c) 2010-13 ETH Zurich.
3 -- All rights reserved.
4 --
5 -- This file is distributed under the terms in the attached LICENSE file.
6 -- If you do not find this file, copies can be found by writing to:
7 -- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
8 --
9 -- Hakefile for /doc/018-Practical-guide
10 --
11 ----------------------------------------------------------------------
12
13 [ buildTechNote "PracticalGuide.tex" "TN-018-PracticalGuide.pdf" False False
14                     [ "helloWorld2" ]
15 ]
16