diff options
author | Martin Wilke <miwi@FreeBSD.org> | 2009-01-10 15:27:26 +0000 |
---|---|---|
committer | Martin Wilke <miwi@FreeBSD.org> | 2009-01-10 15:27:26 +0000 |
commit | 0314d165253c46bbdd54eb1558d2c8a4de6e7c49 (patch) | |
tree | f2804904700414d9cad06a4a42d0f6e1fe8ed122 /devel/uppaal/pkg-plist | |
parent | 7174f83caf9f67fdabb1c653fe687d7eba2394a3 (diff) | |
download | ports-0314d165253c46bbdd54eb1558d2c8a4de6e7c49.tar.gz ports-0314d165253c46bbdd54eb1558d2c8a4de6e7c49.zip |
Notes
Diffstat (limited to 'devel/uppaal/pkg-plist')
-rw-r--r-- | devel/uppaal/pkg-plist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/uppaal/pkg-plist b/devel/uppaal/pkg-plist index 48f8f9385e74..b712042240c9 100644 --- a/devel/uppaal/pkg-plist +++ b/devel/uppaal/pkg-plist @@ -27,5 +27,5 @@ bin/verifyta @dirrm %%EXAMPLESDIR%% @dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/lib @dirrm %%JAVASHAREDIR%%/%%PORTNAME%% -%%PORTDOCS%%%%DOCSDIR%%/README +%%PORTDOCS%%%%DOCSDIR%%/readme.txt %%PORTDOCS%%@dirrm %%DOCSDIR%% |