doc: apply make format

2018-10-26 11:13:54 +01:00
parent 7f80fb2db4
commit 764d165f43
2 changed files with 9 additions and 9 deletions
@@ -12,8 +12,8 @@

 <para>
  Some extensions (plugins) might require OCaml and sometimes other OCaml
-  packages. The <literal>coq.ocamlPackages</literal> attribute can be used
-  to depend on the same package set Coq was built against.
+  packages. The <literal>coq.ocamlPackages</literal> attribute can be used to
+  depend on the same package set Coq was built against.
 </para>

 <para>