diff options
| -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: |