summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch')
-rw-r--r--dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch179
1 files changed, 0 insertions, 179 deletions
diff --git a/dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch b/dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch
deleted file mode 100644
index 1752bb9f518..00000000000
--- a/dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch
+++ /dev/null
@@ -1,179 +0,0 @@
-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'