diff options
Diffstat (limited to 'math/alt-ergo/pkg-plist')
-rw-r--r-- | math/alt-ergo/pkg-plist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/alt-ergo/pkg-plist b/math/alt-ergo/pkg-plist index bf0cd1a27feb..72e2cd72fc17 100644 --- a/math/alt-ergo/pkg-plist +++ b/math/alt-ergo/pkg-plist @@ -4,4 +4,4 @@ lib/ocaml/alt-ergo/altErgo.cmi lib/ocaml/alt-ergo/altErgo.cmo lib/ocaml/alt-ergo/altErgo.cmx lib/ocaml/alt-ergo/altErgo.o -man/man1/alt-ergo.1.gz +share/man/man1/alt-ergo.1.gz |