2004-07-13 01:04:03 +02:00
|
|
|
%%JAVAJARDIR%%/dtdinst.jar
|
2003-01-27 17:21:48 +01:00
|
|
|
share/xsl/dtdinst/dtdinst2rng.xsl
|
|
|
|
|
@dirrm share/xsl/dtdinst
|
2006-01-22 04:01:03 +01:00
|
|
|
@dirrmtry share/xsl
|
2003-07-01 15:12:06 +02:00
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/copying.txt
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/index.html
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/dtdinst.rng
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/dtdinst.rnc.txt
|
|
|
|
|
%%PORTDOCS%%%%DOCSDIR%%/teixml.dtd.txt
|
|
|
|
|
%%PORTDOCS%%@dirrm %%DOCSDIR%%
|
