From 9bdeddf57384eafe7a7000a70a19dd9fa1c2b291 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 16 May 2013 14:57:49 -0700
Subject: Report absolute paths as relative to $(topdir)

---
 doc/build.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/build.mk b/doc/build.mk
index d13a22a..795cf35 100644
--- a/doc/build.mk
+++ b/doc/build.mk
@@ -9,7 +9,7 @@ pandoc     := $(shell which pandoc 2>/dev/null)
 # HTML Generation ##############################################################
 
 # Use pandoc to generate HTML
-quiet_cmd_pandoc = PANDOC     $@
+quiet_cmd_pandoc = PANDOC     $(call drop-prefix,$@)
       cmd_pandoc = $(pandoc) $< -o $@ -s --highlight-style=kate \
                    --template=$(manual-src)/template.html
 
-- 
cgit v1.2.3