diff options
| author | Mehdi Dogguy <mehdi@debian.org> | 2018-06-21 22:49:43 +0200 |
|---|---|---|
| committer | Mehdi Dogguy <mehdi@debian.org> | 2018-06-21 23:01:00 +0200 |
| commit | f381c562550c2df7a0a5a0ea37027df26879e22b (patch) | |
| tree | 277f814f104de7cb7b8511bf6f43f00b781dac9f | |
| parent | c83f0b3446d6bcde4ca7d35d97986b9d6f51e6a2 (diff) | |
Move README.md file into -doc package
| -rw-r--r-- | debian/libppx-tools-versioned-ocaml-doc.install | 1 | ||||
| -rw-r--r-- | debian/libppx-tools-versioned-ocaml.install.in | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/debian/libppx-tools-versioned-ocaml-doc.install b/debian/libppx-tools-versioned-ocaml-doc.install new file mode 100644 index 0000000..a93f7f2 --- /dev/null +++ b/debian/libppx-tools-versioned-ocaml-doc.install @@ -0,0 +1 @@ +usr/doc/ppx_tools_versioned/README.md /usr/share/doc/libppx-tools-versioned-ocaml-doc/ diff --git a/debian/libppx-tools-versioned-ocaml.install.in b/debian/libppx-tools-versioned-ocaml.install.in index af45275..42a84e4 100644 --- a/debian/libppx-tools-versioned-ocaml.install.in +++ b/debian/libppx-tools-versioned-ocaml.install.in @@ -2,5 +2,3 @@ @OCamlStdlibDir@/ppx_tools_versioned/opam @OCamlStdlibDir@/ppx_tools_versioned/{,**/}*.cma DYN: @OCamlStdlibDir@/ppx_tools_versioned/{,**/}*.cmxs - -usr/doc/ppx_tools_versioned/README.md /usr/share/doc/ppx_tools_versioned/
\ No newline at end of file |