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

原创 2013年12月05日 15:04:29

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

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'

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

将 HTML 文件转换成 XML

在 Java 专家 Michael Geisler 为 Builder 澳大利亚写的第一篇文章中,他向读者展示了如何使用 JTidy 将 HTML 文件转换成 XML。  有关 Java 的最重...

如何把PDF格式文件转换成PPT

  • 2014年07月22日 17:01
  • 91KB
  • 下载

PDF格式文件转换工具

  • 2011年06月29日 17:00
  • 3.26MB
  • 下载

彩色空间转换(RGB与YUV格式文件转换)

一、实验原理 1.本次实验是实现RGB格式和YUV格式的互相转换,这里的YUV其实是指数字高清的YCbCr。 根据亮度和色差计算公式,可以得到: Y=0.2990R+0.5870G+0.1140B...
  • amy2020
  • amy2020
  • 2017年03月14日 19:07
  • 187

SWF格式文件转换成AVI

  • 2010年10月16日 14:21
  • 4.85MB
  • 下载

将Word格式文件转换成PDF文档

日常办公中,很多用户喜欢将Word格式文件转换成PDF文档,这样一来一方面方便大家浏览,另一方面可以更加安全的保护好我们的资料,不过,有时候可能因为某些特殊的原因必须把Word文件内容改成PDF格式,...
  • wedoze
  • wedoze
  • 2015年10月22日 11:33
  • 134

SwfToExe 格式文件转换

  • 2004年07月26日 00:00
  • 839KB
  • 下载

pdf格式文件转换成mobi

[最新更新,于2012-03-10] 对于pdf文件是文字编码方式(非图片),可以用用下面的方式生成mobi格式,且可以修改!! 通过mobipocket creator把pdf转为prc,中间不...
  • whuslei
  • whuslei
  • 2012年03月07日 21:30
  • 9657
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:把 diff 格式文件转换为 html 文件的 Makefile
举报原因:
原因补充:

(最多只允许输入30个字)