diff options
Diffstat (limited to 'docs/man/ghc.mk')
| -rw-r--r-- | docs/man/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/man/ghc.mk b/docs/man/ghc.mk index 96fef2dbf6..0c1014b452 100644 --- a/docs/man/ghc.mk +++ b/docs/man/ghc.mk @@ -30,7 +30,7 @@ docs/man/flags.xsl: docs/man/gen_flags.xsl.sh # Re-use the flags documentation from the user's guide by injecting some # entities after the XML declaration to make it a stand-alone document. docs/man/flags.xml: docs/users_guide/flags.xml - "$(RM)" $(RM_OPTS) $@ + $(call removeFiles,$@) head -n 1 $< >> $@ echo "<!DOCTYPE sect1 [<!ENTITY ndash \"-\"> \ <!ENTITY ldquo \"\`\"> \ |