Removed reference to SCC docs.
[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, Universit√§tstr. 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     "Documentation for Barrelfish"
35 ]