diff options
| author | Rob Austein <sra@hactrn.net> | 2013-06-04 02:24:15 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2013-06-04 02:24:15 +0000 |
| commit | fdb0e37ee443aa8b1c7988d548c644e36b1d8e6e (patch) | |
| tree | e4387baddc44af792bfcac67e1e7c8140b3b9ed6 | |
| parent | e555b8f25ca47624ea52e6d60382d610807af4c1 (diff) | |
Put back section header we lost in all of today's rewrites.
svn path=/trunk/; revision=5355
| -rwxr-xr-x | rpkid/rpki-confgen | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpkid/rpki-confgen b/rpkid/rpki-confgen index 95d85d97..d8408321 100755 --- a/rpkid/rpki-confgen +++ b/rpkid/rpki-confgen @@ -101,6 +101,7 @@ class Section(object): return x def to_wiki(self, f): + f.write("\n= ![%s] section = #%s\n" % (self.name, self.name)) for d in self.doc: f.write("\n%s\n" % text_wrapper.fill(d)) for o in self.options: |