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