0de3c6073bea6af6d30194f4b12c7a650946b30c
[barrelfish] / doc / Hakefile
1 --------------------------------------------------------------------------
2 -- Copyright (c) 2015, 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, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 --
9 -- Hakefile for /platforms/x86
10 -- 
11 --------------------------------------------------------------------------
12
13 [     
14     platform "Documentation" []
15     [ ("docs", "/" ++ f) | f <- [
16          "TN-000-Overview.pdf",
17          "TN-001-Glossary.pdf",
18          "TN-002-Mackerel.pdf",
19          "TN-003-Hake.pdf",
20          "TN-004-VirtualMemory.pdf",
21          "TN-006-Routing.pdf",
22          "TN-008-Tracing.pdf",
23          "TN-009-Notifications.pdf",
24          "TN-010-Spec.pdf",
25          "TN-011-IDC.pdf",
26          "TN-012-Services.pdf",
27          "TN-013-CapabilityManagement.pdf",
28          "TN-014-bulk-transfer.pdf",
29          "TN-015-DiskDriverArchitecture.pdf",
30          "TN-016-Serial.pdf",
31          "TN-017-ARM.pdf",
32          "TN-018-PracticalGuide.pdf",
33          "TN-019-DeviceDriver.pdf",
34          "TN-020-Skate.pdf",
35          "TN-021-CPUDriver.pdf",
36          "TN-022-ARMv8.pdf",
37          "TN-023-Coreboot.pdf",
38          "TN-024-FiletOFish.pdf",
39          "TN-025-Sockeye.pdf",
40          "TN-026-Device-Queues.pdf"
41  ]]
42     "Documentation for Barrelfish"
43 ]