4 |
|
|
5 |
EXTRA_DIST = classpath-copyright.xml |
EXTRA_DIST = classpath-copyright.xml |
6 |
|
|
|
dist-hook: |
|
|
-$(mkinstalldirs) $(distdir) |
|
|
@if [ -d $(srcdir)/xslt ]; then \ |
|
|
echo $(CP) -R $(srcdir)/xslt $(distdir); \ |
|
|
$(CP) -R $(srcdir)/xslt $(distdir); \ |
|
|
fi |
|
|
@if [ -d html ]; then \ |
|
|
echo $(CP) -R html $(distdir); \ |
|
|
$(CP) -R html $(distdir); \ |
|
|
else \ |
|
|
echo "Error: did not configure --enable-gjdoc"; exit 1; \ |
|
|
fi |
|
|
|
|
7 |
htmllist := $(shell $(FIND) html | grep -v "^html$$") |
htmllist := $(shell $(FIND) html | grep -v "^html$$") |
8 |
|
|
9 |
install-data-local: |
install-data-local: |