← Back to branch summary

~ubuntu-branches/ubuntu/jaunty/adacontrol/jaunty

« back to all changes in this revision

Viewing changes to patches/gps-integration.patch

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2006-10-12 19:17:22 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20061012191722-fo5bcn4k5r0iubgd
Tags: 1.5r24-1

* New upstream release.
* debian/control (Depends): add gnat-4.1.
  (Enhances): add gnat-gps.
* debian/adacontrol.gpr: build pfni.
* debian/rules: install the new gnat-gps plug-in, and pfni.
* debian/pfni.1: new.
* patches/gps-integration.patch: new.

Show diffs side-by-side

added added

removed removed

Lines of Context:
patches/gps-integration.patch
 
1
Index: GPS/zadactl.xml
 
2
===================================================================
 
3
--- GPS/zadactl.xml.orig        2006-10-12 08:31:35.000000000 +0200
 
4
+++ GPS/zadactl.xml     2006-10-12 08:31:56.000000000 +0200
 
5
@@ -243,14 +243,14 @@
 
6
 <!--  Documentation  -->
 
7
 
 
8
 <documentation_file>
 
9
-  <name>adacontrol_ug.html</name>
 
10
+  <name>/usr/share/doc/adacontrol/adacontrol_ug.html</name>
 
11
   <descr>AdaControl User Guide</descr>
 
12
   <category>AdaControl</category>
 
13
   <menu>/Help/AdaControl/User Guide</menu>
 
14
 </documentation_file>
 
15
 
 
16
 <documentation_file>
 
17
-  <name>adacontrol_pm.html</name>
 
18
+  <name>/usr/share/doc/adacontrol/adacontrol_pm.html</name>
 
19
   <descr>AdaControl Programmer Manual</descr>
 
20
   <category>AdaControl</category>
 
21
   <menu>/Help/AdaControl/Programmer Manual</menu>