The following commit has been merged in the master branch:
commit 086aa072eee5c347cc9c58c4d17266b713fef301
Author: Mehdi Dogguy <me...@debian.org>
Date:   Wed Jan 4 18:46:20 2012 +0100

    Fix spelling-error-in-manpage

diff --git a/debian/xml-man/headache.xml b/debian/xml-man/headache.xml
index 8352c0a..083e05e 100644
--- a/debian/xml-man/headache.xml
+++ b/debian/xml-man/headache.xml
@@ -160,9 +160,8 @@
     <para>Each file is equipped with an header including the text given in the
       header file 'myheader', surrounded by some extra characters depending on
       its format making it a comment (e.g. '(*' and '*)' in '.ml' files). If
-      you update informations in the header file 'myheader', you simply need
-      to re-run the above command to update headers in source code files:
-      existing ones are automatically removed.</para>
+      you update the header file 'myheader', you simply need to re-run the 
above
+      command to update headers in source code files.</para>
     
     <para>Similarly, running :
       <command>&dhprg; -r 

-- 
headache packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to