diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-05-16 14:57:49 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:57:49 -0700 |
| commit | 9bdeddf57384eafe7a7000a70a19dd9fa1c2b291 (patch) | |
| tree | f017cdcb07507566893e5b2f65ee726b83871241 /doc | |
| parent | 9724ba49770ecbcca00110a8ef1d16e09d2c6e74 (diff) | |
Report absolute paths as relative to $(topdir)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build.mk | 2 |
1 files changed, 1 insertions, 1 deletions
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 |