diff options
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.patch | 179 |
1 files changed, 179 insertions, 0 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 new file mode 100644 index 000000000000..1752bb9f5187 --- /dev/null +++ b/dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch @@ -0,0 +1,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' |