EXTRA_DIST = admin_user.php create_metadata.php defederate.php \
federate.php index.php login.php \
logout.php setup.php singleSignOn.php \
soapEndpoint.php user_add.php