forked from aaronbloomfield/pdr
-
Notifications
You must be signed in to change notification settings - Fork 228
/
Makefile.html
40 lines (36 loc) · 1.94 KB
/
Makefile.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
<!DOCTYPE HTML>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="GENERATOR" content="GNU source-highlight
by Lorenzo Bettini
http://www.lorenzobettini.it
http://www.gnu.org/software/src-highlite">
<title>Makefile</title>
</head>
<body style="background-color:white">
<pre><span style="color:#990000">markdown:</span>
@echo Converting markdown files to html format<span style="color:#990000">...</span>
@chmod <span style="color:#993399">755</span> utils/convert-markdown-to-html.sh
@utils/convert-markdown-to-html.sh
@git checkout uva/old<span style="color:#990000">/*</span>.html
@echo <b><span style="color:#0000FF">done</span></b><span style="color:#990000">!</span>
<span style="color:#990000">all:</span> markdown format highlight
<span style="color:#990000">format:</span>
@echo Formatting <b><span style="color:#0000FF">source</span></b> files<span style="color:#990000">...</span>
@chmod <span style="color:#993399">755</span> utils/format-source-files.sh
@utils/format-source-files.sh
@git checkout uva/old<span style="color:#990000">/*</span>.html
@echo <b><span style="color:#0000FF">done</span></b><span style="color:#990000">!</span>
<span style="color:#990000">highlight:</span>
@echo Highlighting <b><span style="color:#0000FF">source</span></b> files<span style="color:#990000">...</span>
@chmod <span style="color:#993399">755</span> utils/highlight-source-files.sh
@utils/highlight-source-files.sh
@git checkout uva/old<span style="color:#990000">/*</span>.html
@echo <b><span style="color:#0000FF">done</span></b><span style="color:#990000">!</span>
<span style="color:#990000">clean:</span>
/bin/rm -rf <span style="color:#990000">*~</span> <span style="color:#990000">*/*~</span> <span style="color:#990000">*/*/*~</span> <span style="color:#990000">*/*/*/*~</span>
/bin/rm -f uva<span style="color:#990000">/*</span>.aux uva<span style="color:#990000">/*</span>.log
</pre>
</body>
</html>