git.barrelfish.org Git - barrelfish/blob - doc/013-capability-mgmt/Hakefile

   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
  13 let
  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