diff options
Diffstat (limited to 'Documentation/GNUmakefile')
| -rw-r--r-- | Documentation/GNUmakefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Documentation/GNUmakefile b/Documentation/GNUmakefile index e33c87f..19de585 100644 --- a/Documentation/GNUmakefile +++ b/Documentation/GNUmakefile @@ -26,5 +26,8 @@ install-man: man %.1.html: %.1.txt $(pandoc_html) < $< > $@+ && mv $@+ $@ +comparison.html: comparison.haml + haml -t ugly < $< > $@+ && mv $@+ $@ + clean:: - $(RM) $(man1) $(html1) + $(RM) $(man1) $(html1) comparison.html |