docs: Fix Hakefile comment
authorDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Fri, 8 Nov 2019 10:24:51 +0000 (11:24 +0100)
committerDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Wed, 18 Mar 2020 14:15:02 +0000 (15:15 +0100)
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

doc/Hakefile

index 0de3c60..0ee9ddd 100644 (file)
@@ -6,7 +6,7 @@
 -- If you do not find this file, copies can be found by writing to:
 -- ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
 --
--- Hakefile for /platforms/x86
+-- Hakefile for /doc
 -- 
 --------------------------------------------------------------------------