|
1 <!DOCTYPE html> |
|
2 <html><head> |
|
3 <title>cleanupSource</title> |
|
4 <meta charset="UTF-8"> |
|
5 <style> |
|
6 body { |
|
7 background: #EDECE6; |
|
8 margin: 0em 1em 10em 1em; |
|
9 color: black; |
|
10 } |
|
11 |
|
12 h1 { color: white; background: #85774A; } |
|
13 h2 { color: white; background: #85774A; } |
|
14 h3 { color: white; background: #9D936E; } |
|
15 h4 { color: white; background: #9D936E; } |
|
16 |
|
17 a { color: #BA6D36; } |
|
18 |
|
19 </style> |
|
20 </head> |
|
21 <body> |
|
22 <a NAME="top" ID="top"></a> |
|
23 <h1>cleanupSource</h1> |
|
24 |
|
25 <p> |
|
26 Script for eric to clean up the source tree. |
|
27 </p> |
|
28 <h3>Global Attributes</h3> |
|
29 |
|
30 <table> |
|
31 <tr><td>None</td></tr> |
|
32 </table> |
|
33 <h3>Classes</h3> |
|
34 |
|
35 <table> |
|
36 <tr><td>None</td></tr> |
|
37 </table> |
|
38 <h3>Functions</h3> |
|
39 |
|
40 <table> |
|
41 |
|
42 <tr> |
|
43 <td><a href="#cleanupSource">cleanupSource</a></td> |
|
44 <td>Cleanup the sources directory to get rid of leftover files and directories.</td> |
|
45 </tr> |
|
46 <tr> |
|
47 <td><a href="#main">main</a></td> |
|
48 <td>The main function of the script.</td> |
|
49 </tr> |
|
50 </table> |
|
51 <hr /> |
|
52 <hr /> |
|
53 <a NAME="cleanupSource" ID="cleanupSource"></a> |
|
54 <h2>cleanupSource</h2> |
|
55 <b>cleanupSource</b>(<i>dirName</i>) |
|
56 |
|
57 <p> |
|
58 Cleanup the sources directory to get rid of leftover files |
|
59 and directories. |
|
60 </p> |
|
61 <dl> |
|
62 |
|
63 <dt><i>dirName</i></dt> |
|
64 <dd> |
|
65 name of the directory to prune (string) |
|
66 </dd> |
|
67 </dl> |
|
68 <div align="right"><a href="#top">Up</a></div> |
|
69 <hr /> |
|
70 <hr /> |
|
71 <a NAME="main" ID="main"></a> |
|
72 <h2>main</h2> |
|
73 <b>main</b>(<i>argv</i>) |
|
74 |
|
75 <p> |
|
76 The main function of the script. |
|
77 </p> |
|
78 <dl> |
|
79 |
|
80 <dt><i>argv</i></dt> |
|
81 <dd> |
|
82 the list of command line arguments. |
|
83 </dd> |
|
84 </dl> |
|
85 <div align="right"><a href="#top">Up</a></div> |
|
86 <hr /> |
|
87 </body></html> |