1----------------------------------------------------------------------
2-- Copyright (c) 2010, 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-- Makefile for /doc/013-capabilities
10--
11----------------------------------------------------------------------
12
13let
14  figoutput f = "/tmp/" ++ f ++ ".pdf"
15  dot f = [ Str Config.dot, Str "-Tpdf",
16            In SrcTree "src" (f ++ ".dot"), Str "-o", Out "tools" (figoutput f), NL ]
17  in
18 [ buildTechNoteWithDeps "CapMgmt.tex" "TN-013-CapabilityManagement.pdf" True False [] 
19   (concat [dot "cap_types"])
20 ]
21
22