Searched refs:DIFF (Results 1 - 1 of 1) sorted by relevance

/seL4-refos-master/kernel/manual/
H A DMakefile11 # To use a revision other than HEAD, speciff DIFF=x on the
245 @echo "'make DIFF=<rev> diff' will show changes to revision <rev>"
249 DIFF ?= tip macro
254 @echo "====> Retrieving revision $(DIFF) of $<"
255 ${Q}hg cat -r $(DIFF) $< > $(@:-diff.tex=-$(DIFF)-diff.tex)
256 @echo "====> Creating diff of revision $(DIFF) of $<"
257 ${Q}./tools/latexdiff $(Diffopts) $(@:-diff.tex=-$(DIFF)-diff.tex) $< > $@

Completed in 34 milliseconds