智勇软件开发专栏

C、C++、.NET、java、jsp、javascript、php 和 lua 开发

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

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

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'

此文版权属于作者所有,任何人、媒体或者网站转载、借用都必须征得作者本人同意!
阅读更多
文章标签: diff html makefile p
个人分类: 编程综合
上一篇开发例子
下一篇android 给 button 添加边框及底色
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭