diff options
Diffstat (limited to 'lang/cduce/pkg-plist')
| -rw-r--r-- | lang/cduce/pkg-plist | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lang/cduce/pkg-plist b/lang/cduce/pkg-plist index 09f864f6ac38..5032f17cebbe 100644 --- a/lang/cduce/pkg-plist +++ b/lang/cduce/pkg-plist @@ -37,6 +37,3 @@ man/man1/dtd2cduce.1.gz %%PORTDOCS%%%%DOCSDIR%%/tutorial_patterns.html %%PORTDOCS%%%%DOCSDIR%%/tutorial_queries.html %%PORTDOCS%%%%DOCSDIR%%/tutorial_references.html -%%PORTDOCS%%@dirrmtry %%DOCSDIR%%/img -%%PORTDOCS%%@dirrmtry %%DOCSDIR%% -@dirrmtry %%OCAML_SITELIBDIR%%/cduce |