diff options
Diffstat (limited to 'net/anet/pkg-plist')
| -rw-r--r-- | net/anet/pkg-plist | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/net/anet/pkg-plist b/net/anet/pkg-plist index 2b3dfeb5fcb0..2fe5842425c3 100644 --- a/net/anet/pkg-plist +++ b/net/anet/pkg-plist @@ -58,6 +58,10 @@ lib/anet/anet-util.ali lib/anet/anet.ali lib/anet/libanet.a lib/gnat/anet.gpr +%%PORTDOCS%%%%DOCSDIR%%/html/asciidoc.css +%%PORTDOCS%%%%DOCSDIR%%/html/index.html +%%PORTDOCS%%@dirrmtry %%DOCSDIR%%/html +%%PORTDOCS%%@dirrmtry %%DOCSDIR%% @dirrmtry lib/gnat @dirrm lib/anet @dirrm include/anet |