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