summaryrefslogtreecommitdiff
blob: 1752bb9f51875995ce2b4dbdc8591eb37a79fefe (plain)
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
diff -ur mozart-1.3.2.20060615-std.orig/adt/makefile.oz mozart-1.3.2.20060615-std/adt/makefile.oz
--- mozart-1.3.2.20060615-std.orig/adt/makefile.oz	2004-05-19 11:40:35.000000000 +1200
+++ mozart-1.3.2.20060615-std/adt/makefile.oz	2007-02-17 12:29:43.000000000 +1300
@@ -4,14 +4,5 @@
 	  'Dictionary.ozf' 'Cell.ozf'
 	  %%'Generator.ozf'
 	 ]
-   doc : [
-	  'index.html'
-	  'cell.html'
-	  'counter.html'
-	  'dictionary.html'
-	  %%'generator.html'
-	  'queue.html'
-	  'stack.html'
-	  ]
 
    )
diff -ur mozart-1.3.2.20060615-std.orig/makefile.oz mozart-1.3.2.20060615-std/makefile.oz
--- mozart-1.3.2.20060615-std.orig/makefile.oz	2004-05-19 20:05:19.000000000 +1200
+++ mozart-1.3.2.20060615-std/makefile.oz	2007-02-17 12:29:25.000000000 +1300
@@ -10,12 +10,4 @@
 	     'os'
 	     'net'
 	    ]
-   doc    : [
-	     'index.html'
-	     'ozdoc.css'
-	     'page.gif'
-             'string.html'
-             'mapping.html'
-             'generator.html'
-	    ]
    )
diff -ur mozart-1.3.2.20060615-std.orig/net/makefile.oz mozart-1.3.2.20060615-std/net/makefile.oz
--- mozart-1.3.2.20060615-std.orig/net/makefile.oz	2004-05-18 11:33:41.000000000 +1200
+++ mozart-1.3.2.20060615-std/net/makefile.oz	2007-02-17 12:29:54.000000000 +1300
@@ -1,4 +1,3 @@
 makefile(
    lib : ['URL.ozf']
-   doc : ['index.html' 'url.html']
    )
\ No newline at end of file
diff -ur mozart-1.3.2.20060615-std.orig/os/makefile.oz mozart-1.3.2.20060615-std/os/makefile.oz
--- mozart-1.3.2.20060615-std.orig/os/makefile.oz	2004-05-18 11:33:41.000000000 +1200
+++ mozart-1.3.2.20060615-std/os/makefile.oz	2007-02-17 12:30:07.000000000 +1300
@@ -1,4 +1,3 @@
 makefile(
    lib : ['Path.ozf' 'Shell.ozf']
-   doc : ['index.html' 'path.html' 'shell.html']
    )
diff -ur mozart-1.3.2.20060615-std.orig/wp/makefile.oz mozart-1.3.2.20060615-std/wp/makefile.oz
--- mozart-1.3.2.20060615-std.orig/wp/makefile.oz	2004-05-18 11:33:41.000000000 +1200
+++ mozart-1.3.2.20060615-std/wp/makefile.oz	2007-02-17 12:30:24.000000000 +1300
@@ -2,5 +2,4 @@
    subdirs : ['qtk'
 	      %'qhtml'
 	     ]
-   doc : ['index.html']
    )
diff -ur mozart-1.3.2.20060615-std.orig/wp/qtk/makefile.oz mozart-1.3.2.20060615-std/wp/qtk/makefile.oz
--- mozart-1.3.2.20060615-std.orig/wp/qtk/makefile.oz	2004-02-28 03:05:22.000000000 +1300
+++ mozart-1.3.2.20060615-std/wp/qtk/makefile.oz	2007-02-17 12:31:29.000000000 +1300
@@ -117,96 +117,4 @@
    %%src     : ['QTk.ozf' 'QTkDevel.ozf' 'QTkBare.ozf']
    rules   : o(
 		'QTk.ozf' : ozl('QTkBare.ozf'))
-   doc     : ['html/button.gif'
-	      'html/bwoz1.gif'
-	      'html/canvas.gif'
-	      'html/checkbutton.gif'
-	      'html/color.gif'
-	      'html/dropdownlistbox.gif'
-	      'html/entry.gif'
-	      'html/grid.gif'
-	      'html/index.html'
-	      'html/label.gif'
-	      'html/line.gif'
-	      'html/listbox.gif'
-	      'html/listcont.oz'
-	      'html/load.gif'
-	      'html/menubutton.gif'
-	      'html/message.gif'
-	      'html/node1.html'
-	      'html/node10.html'
-	      'html/node11.html'
-	      'html/node12.html'
-	      'html/node13.html'
-	      'html/node14.html'
-	      'html/node15.html'
-	      'html/node16.html'
-	      'html/node17.html'
-	      'html/node18.html'
-	      'html/node19.html'
-	      'html/node2.html'
-	      'html/node20.html'
-	      'html/node21.html'
-	      'html/node22.html'
-	      'html/node23.html'
-	      'html/node24.html'
-	      'html/node25.html'
-	      'html/node26.html'
-	      'html/node27.html'
-	      'html/node28.html'
-	      'html/node29.html'
-	      'html/node3.html'
-	      'html/node30.html'
-	      'html/node31.html'
-	      'html/node32.html'
-	      'html/node33.html'
-	      'html/node34.html'
-	      'html/node35.html'
-	      'html/node36.html'
-	      'html/node37.html'
-	      'html/node38.html'
-	      'html/node39.html'
-	      'html/node4.html'
-	      'html/node40.html'
-	      'html/node41.html'
-	      'html/node42.html'
-	      'html/node43.html'
-	      'html/node44.html'
-	      'html/node45.html'
-	      'html/node5.html'
-	      'html/node6.html'
-	      'html/node7.html'
-	      'html/node8.html'
-	      'html/node9.html'
-	      'html/notepad.oz'
-	      'html/numberentry.gif'
-	      'html/ozdoc.css'
-	      'html/page.gif'
-	      'html/panel.gif'
-	      'html/picture1.gif'
-	      'html/picture10.gif'
-	      'html/picture100.gif'
-	      'html/picture11.gif'
-	      'html/picture2.gif'
-	      'html/picture3.gif'
-	      'html/picture4.gif'
-	      'html/picture5.gif'
-	      'html/picture6.gif'
-	      'html/picture8.gif'
-	      'html/picture9.gif'
-	      'html/placeholder.gif'
-	      'html/printcanvas.gif'
-	      'html/radiobutton.gif'
-	      'html/rubberframe.gif'
-	      'html/scale.gif'
-	      'html/scrollbar.gif'
-	      'html/scrollframe.gif'
-	      'html/space.gif'
-	      'html/tbbutton.gif'
-	      'html/tbcheckbutton.gif'
-	      'html/tbradiobutton.gif'
-	      'html/tdlr.gif'
-	      'html/text.gif'
-	      'html/toplevel.gif'
-	     ]
    )
diff -ur mozart-1.3.2.20060615-std.orig/xml/makefile.oz mozart-1.3.2.20060615-std/xml/makefile.oz
--- mozart-1.3.2.20060615-std.orig/xml/makefile.oz	2004-05-18 11:33:42.000000000 +1200
+++ mozart-1.3.2.20060615-std/xml/makefile.oz	2007-02-17 12:31:52.000000000 +1300
@@ -1,4 +1,3 @@
 makefile(
    subdirs:['parser']
-   doc : ['index.html']
    )
\ No newline at end of file
diff -ur mozart-1.3.2.20060615-std.orig/xml/parser/makefile.oz mozart-1.3.2.20060615-std/xml/parser/makefile.oz
--- mozart-1.3.2.20060615-std.orig/xml/parser/makefile.oz	2004-05-18 11:33:42.000000000 +1200
+++ mozart-1.3.2.20060615-std/xml/parser/makefile.oz	2007-02-17 12:37:58.000000000 +1300
@@ -1,6 +1,5 @@
 makefile(
    lib        : ['Parser.ozf']
-   doc        : ['index.html' 'example.xml']
    version    : '0.5'
    uri        : 'x-oz://system/xml'
 %   mogul      : 'mogul:/duchier/xml/parser'