2002-08-26 13:36:50 +00:00
|
|
|
bin/green-card
|
|
|
|
lib/green-card/StdDIS.gc
|
|
|
|
lib/green-card/StdDIS.hi
|
|
|
|
lib/green-card/StdDIS.hs
|
|
|
|
lib/green-card/StdDIS.o
|
|
|
|
lib/green-card/libHSgreencard.a
|
2004-07-16 15:44:18 +00:00
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/directives.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/dis-std.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/dis.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/docbook.css
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/extensions.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/fill-in.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/goals.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/green-card.dvi.gz
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/green-card.ps.gz
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/greencard.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/import.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/invoking.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/motivation.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/overview.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/proc-spec.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/related.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/type-sig.html
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/using.html
|
|
|
|
%%PORTDOCS%%@dirrm %%DOCSDIR%%
|
2002-08-26 13:36:50 +00:00
|
|
|
@dirrm lib/green-card
|