关闭

把 diff 格式文件转换为 html 文件的 Makefile

标签: diff html makefile p
840人阅读 评论(0) 收藏 举报
分类:

此文版权属于作者所有,任何人、媒体或者网站转载、借用都必须征得作者本人同意!

diffs := $(wildcard *.diff)
htmls := $(patsubst %.diff,%.html,$(diffs))

build_html: $(htmls)

update_diff:
	./update_diff.sh

%.html:%.diff
	@echo convert 
	@echo '    $<'
	@echo ' to'
	@echo '    $@' 
	@pygmentize -l diff -f html -O full,encoding=utf-8 -o $@ $<
	
.PHONY: help
help:
	@echo useage:
	@echo '  make build_html'
	@echo '  make update_diff'

此文版权属于作者所有,任何人、媒体或者网站转载、借用都必须征得作者本人同意!

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:160498次
    • 积分:2133
    • 等级:
    • 排名:第17909名
    • 原创:80篇
    • 转载:11篇
    • 译文:0篇
    • 评论:24条
    文章分类
    最新评论