cross module change

[nodeconfig.git] / get_gpg_key.php

diff --git a/get_gpg_key.php b/get_gpg_key.php
deleted file mode 100755 (executable)
index 42debe5..0000000
--- a/get_gpg_key.php
+++ /dev/null
@@ -1,17 +0,0 @@
-<?php
-//
-// Exports the GPG public key for this PLC
-//
-// Mark Huang <mlhuang@cs.princeton.edu>
-// Copyright (C) 2006 The Trustees of Princeton University
-//
-// $Id$
-//
-
-include 'plc_config.php';
-
-echo shell_exec("gpg --homedir=/tmp --export --armor" .
-               " --no-default-keyring" .
-               " --keyring " . PLC_ROOT_GPG_KEY_PUB);
-
-?>