summaryrefslogtreecommitdiff
path: root/common
diff options
context:
space:
mode:
authorJean-Philippe NOEL2012-12-12 19:10:39 +0100
committerJean-Philippe NOEL2013-01-02 16:15:09 +0100
commit9c69fb428ac80eecb3fff886262c61ffc5e3b235 (patch)
tree43fe7f737e4d4a19989c1510e548d737fd8bfca2 /common
parent444dbeb05e6bd19e51a1e090f054769cae84c768 (diff)
common/doc/template: complete the display of the generation of the .depend files, refs #3518
Diffstat (limited to 'common')
-rw-r--r--common/doc/template/doc.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/common/doc/template/doc.mk b/common/doc/template/doc.mk
index a55f9ce7f7..5aa41299af 100644
--- a/common/doc/template/doc.mk
+++ b/common/doc/template/doc.mk
@@ -37,7 +37,7 @@ glossary.rst: $(DOCS:%=%.rst) $(GLOSSARIES)
$(DOCS:%=%.rst) -t Glossary > $@
%.depend: %.rst
- @echo -n "$*.pdf $*.html: " > $@
+ echo -n "$*.pdf $*.html: " > $@
awk '/^.. include:: /{printf "%s ", $$3}' $< | \
sed 's/$(HEADERS) //g' | sed 's/$(GEN_HEADERS) //g' >> $@