Change all occurance of ".mnf" to ".mft" because:

a) no software should care and
b) it's less work to change my code to match the revisionist text in the
   current draft than it would be to argue about what the one true
   filename extension for manifests should be.

svn path=/rpkid/rootd.py; revision=3545

1 files changed, 1 insertions, 1 deletions

diff --git a/rpkid/rpki/rpki_engine.py b/rpkid/rpki/rpki_engine.py
index ba7f1cf7..2247787f 100644
--- a/rpkid/rpki/rpki_engine.py
+++ b/rpkid/rpki/rpki_engine.py
@@ -586,7 +586,7 @@ class ca_detail_obj(rpki.sql.sql_persistent):
 
   def manifest_uri(self, ca):
     """Return publication URI for this ca_detail's manifest."""
-    return ca.sia_uri + self.public_key.gSKI() + ".mnf"
+    return ca.sia_uri + self.public_key.gSKI() + ".mft"
 
   def activate(self, ca, cert, uri, callback, errback, predecessor = None):
     """