[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.9.0-1-1-gf6ecf83

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 249622aff57d2e66275f3764c54f0a8df0be159b
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Apr 5 11:35:54 2010 +0200

    fix some typos

diff --git a/debian/changelog b/debian/changelog
index 5b14103..81d6bb9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,9 @@ advi (1.9.0-1) unstable; urgency=low
   * New upstream version.
   * Compress installed dvi documents, except splash.dvi.
   * Fix dh_strip override: do not strip when non-native architecture.
-
- -- Ralf Treinen <treinen at debian.org>  Mon, 05 Apr 2010 11:13:06 +0200
+  * Patches typo-message and manpage: fix some typos.
+  
+ -- Ralf Treinen <treinen at debian.org>  Mon, 05 Apr 2010 11:35:38 +0200
 
 advi (1.9.0~rc2-1) experimental; urgency=low
 
diff --git a/debian/patches/manpage b/debian/patches/manpage
new file mode 100644
index 0000000..26068f9
--- /dev/null
+++ b/debian/patches/manpage
@@ -0,0 +1,25 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: Small improvement of manpage, and one typo
+
+Index: advi/doc/advi.1
+===================================================================
+--- advi.orig/doc/advi.1	2010-04-05 11:27:53.000000000 +0200
++++ advi/doc/advi.1	2010-04-05 11:32:38.000000000 +0200
+@@ -328,7 +328,7 @@
+ Geometry GEOM is specified in pixels, using the standard format
+ for specifying geometries (i.e.,  "WIDTHxHEIGHT[+XOFFSET+YOFFSET]").
+ 
+-Dimensions (for options `-hmargin' and `-vmargin') are specified as
++Dimensions (for options `\-hmargin' and `\-vmargin') are specified as
+ numbers optionally followed by two letters representing units.
+ When no units are given, dimensions are treated as numbers of pixels.
+ Currently supported units are the standard TeX units as specified in
+@@ -349,7 +349,7 @@
+ 
+ Advi recognizes the following keystrokes when typed in its window.
+ Some of them may optionally be preceded by a number, called ARG below,
+-whose interpretation is keystroke dependant. If ARG is unset, its
++whose interpretation is keystroke dependent. If ARG is unset, its
+ value is 1.
+ 
+ Advi maintains an history of previously visited pages organized as a stack.
diff --git a/debian/patches/series b/debian/patches/series
index ea0d3ae..fd153d1 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,3 @@
 no-local-advirc
+typo-message
+manpage
diff --git a/debian/patches/typo-message b/debian/patches/typo-message
new file mode 100644
index 0000000..3dbdbb6
--- /dev/null
+++ b/debian/patches/typo-message
@@ -0,0 +1,23 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: Fix typo in messages issued by the program.
+
+--- advi.orig/src/launch.ml	2010-04-05 11:23:34.000000000 +0200
++++ advi/src/launch.ml	2010-04-05 11:24:11.000000000 +0200
+@@ -92,7 +92,7 @@
+       set_policy Exec))
+   "  set the security policy to \"Exec\" mode, i.e.\
+   \n\t all embedded applications are automatically executed.\
+-  \n\t Unless explicitely required, this mode does not apply.";;
++  \n\t Unless explicitly required, this mode does not apply.";;
+ 
+ Options.add
+   "-safer"
+@@ -102,7 +102,7 @@
+       set_policy Safer))
+   "  set the security policy to \"Safer\" mode, i.e.\
+   \n\t external applications are simply ignored.\
+-  \n\t Unless explicitely required, this mode does not apply.";;
++  \n\t Unless explicitly required, this mode does not apply.";;
+ 
+ Options.add
+   "-ask"

-- 
advi packaging