diff options
-rw-r--r-- | Documentation/DocBook/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Documentation/DocBook/Makefile b/Documentation/DocBook/Makefile index b2b6366bba51..83966e94cc32 100644 --- a/Documentation/DocBook/Makefile +++ b/Documentation/DocBook/Makefile | |||
@@ -187,8 +187,11 @@ quiet_cmd_fig2png = FIG2PNG $@ | |||
187 | 187 | ||
188 | ### | 188 | ### |
189 | # Rule to convert a .c file to inline XML documentation | 189 | # Rule to convert a .c file to inline XML documentation |
190 | gen_xml = : | ||
191 | quiet_gen_xml = echo ' GEN $@' | ||
192 | silent_gen_xml = : | ||
190 | %.xml: %.c | 193 | %.xml: %.c |
191 | @echo ' GEN $@' | 194 | @$($(quiet)gen_xml) |
192 | @( \ | 195 | @( \ |
193 | echo "<programlisting>"; \ | 196 | echo "<programlisting>"; \ |
194 | expand --tabs=8 < $< | \ | 197 | expand --tabs=8 < $< | \ |