equal
deleted
inserted
replaced
42 |
42 |
43 # pdf docs |
43 # pdf docs |
44 <transform dir file link hardlink path=usr/.*/doc/.*\.pdf$ -> \ |
44 <transform dir file link hardlink path=usr/.*/doc/.*\.pdf$ -> \ |
45 default facet.doc.pdf true> |
45 default facet.doc.pdf true> |
46 |
46 |
|
47 # ps docs |
|
48 <transform dir file link hardlink path=usr/.*/doc/.*\.ps$ -> \ |
|
49 default facet.doc.ps true> |
|
50 |
47 # general documentation |
51 # general documentation |
48 <transform dir file link hardlink path=usr/.*/doc(/.+){0,1}$ -> \ |
52 <transform dir file link hardlink path=usr/.*/doc(/.+){0,1}$ -> \ |
49 default facet.doc true> |
53 default facet.doc true> |
50 |
54 |
51 # drop facet.doc if we have a type specific facet. |
55 # drop facet.doc if we have a type specific facet. |