EXTRA_DIST = *
install-exec-hook: 
	../../../mkinstalldirs $(DESTDIR)$(prefix)/share/giac/doc/el/
	../../../mkinstalldirs $(DESTDIR)$(prefix)/share/giac/doc/el/casinter
	cp -f * $(DESTDIR)$(prefix)/share/giac/doc/el/casinter
