git.barrelfish.org Git - barrelfish/blob - 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, Universitaetstr. 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-Sockeye.pdf",
  35          "TN-021-CPUDriver.pdf",
  36          "TN-022-ARMv8.pdf" ]]
  37     "Documentation for Barrelfish"
  38 ]