File: doc_path.diff

package info (click to toggle)
libgnatcoll 18-4
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 5,068 kB
  • sloc: ada: 40,393; python: 354; ansic: 310; makefile: 245; sh: 31
file content (15 lines) | stat: -rw-r--r-- 477 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Description: Give GPS Debian path when registering documentation.
Forwarded: not-needed
Author: Nicolas Boulenguez <nicolas@debian.org>

--- a/distrib/gnatcoll/__init__.py
+++ b/distrib/gnatcoll/__init__.py
@@ -9,7 +9,7 @@
 
 XML = r"""<?xml version="1.0" ?>
 <GPS>
-  <doc_path>share/doc/gnatcoll</doc_path>
+  <doc_path>share/doc/libgnatcoll-doc</doc_path>
   <documentation_file>
      <name>html/index.html</name>
      <descr>Gnat Reusable Components User's Guide</descr>