Package: gtkboard Version: 0.11pre0-5 Severity: normal Tags: patch User: [EMAIL PROTECTED] UserTag: doc-base
Hi, The doc-base file is broken as it tries to register two different documents, which isn't supported. The attached patch fixes the problem. BTW. You can also close #262913 Best Regards, robert
diff -Nur gtkboard-0.11pre0_old/debian/gtkboard.doc-base gtkboard-0.11pre0/debian/gtkboard.doc-base --- gtkboard-0.11pre0_old/debian/gtkboard.doc-base 2007-05-08 20:58:00.000000000 +0200 +++ gtkboard-0.11pre0/debian/gtkboard.doc-base 2007-05-08 22:12:19.000000000 +0200 @@ -4,15 +4,7 @@ Abstract: This manual describes what gtkboard is and how it can be used to play games. Section: Games/Board + Format: HTML Index: /usr/share/doc/gtkboard/html/index.html Files: /usr/share/doc/gtkboard/html/*.html - -Document: gtkboard-dev -Title: gtkboard Dev Manual -Author: Arvind Narayanan -Abstract: This manual describes how to add new games to gtkboard. -Section: Games/Board -Format: HTML -Index: /usr/share/doc/gtkboard/html/devel/index.html -Files: /usr/share/doc/gtkboard/html/devel/*.html diff -Nur gtkboard-0.11pre0_old/debian/gtkboard.doc-base.gtkboard-dev gtkboard-0.11pre0/debian/gtkboard.doc-base.gtkboard-dev --- gtkboard-0.11pre0_old/debian/gtkboard.doc-base.gtkboard-dev 1970-01-01 01:00:00.000000000 +0100 +++ gtkboard-0.11pre0/debian/gtkboard.doc-base.gtkboard-dev 2007-05-08 22:12:09.000000000 +0200 @@ -0,0 +1,9 @@ +Document: gtkboard-dev +Title: gtkboard Dev Manual +Author: Arvind Narayanan +Abstract: This manual describes how to add new games to gtkboard. +Section: Games/Board + +Format: HTML +Index: /usr/share/doc/gtkboard/html/devel/index.html +Files: /usr/share/doc/gtkboard/html/devel/*.html

