[debian-edu-commits] debian-edu/ 01/01: Add manpage for /usr/bin/update-ini-file.

[Holger Levsen]

This is an automated email from the git hooks/post-receive script.

holger pushed a commit to branch master
in repository debian-edu-config.

commit 76d9bb3e8feb3704470d2e2d687075946862d4a8
Author: Holger Levsen <holger at layer-acht.org>
Date:   Mon Jul 18 17:30:43 2016 +0200

    Add manpage for /usr/bin/update-ini-file.
---
 debian/changelog                 |  1 +
 share/man/man1/update-ini-file.1 | 19 +++++++++++++++++++
 2 files changed, 20 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index ffc7a7a..f745836 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -33,6 +33,7 @@ debian-edu-config (1.906) UNRELEASED; urgency=medium
       maintain those configurations here for several Debian Edu packages.
     - overwrite warnings that debconf is not a registry as we have chosen
       those questions with care and really need them.
+  * Add manpage for /usr/bin/update-ini-file. 
 
  -- Mike Gabriel <sunweaver at debian.org>  Thu, 07 Jul 2016 12:01:08 +0200
 
diff --git a/share/man/man1/update-ini-file.1 b/share/man/man1/update-ini-file.1
new file mode 100644
index 0000000..4147aba
--- /dev/null
+++ b/share/man/man1/update-ini-file.1
@@ -0,0 +1,19 @@
+.\"{{{ Man Page author Holger Levsen <holger at layer-acht.org> }}}
+.\"{{{  Title
+.TH UPDATE-INI-FILE 1 "Jul 18, 2016" "" "Debian-Edu Administrator's Manual"
+.\"}}}
+.\"{{{  Name
+.SH NAME
+update-ini-file \- command line tool to modify .ini style files.
+.\"}}}
+.\"{{{  Synopsis
+.SH SYNOPSIS
+.B /usr/bin/update-ini-file FILE SECTION KEY VALUE
+.\"}}}
+.\"{{{  Description
+.SH DESCRIPTION
+\fBupdate-ini-file\fP is a script which updates any existing .ini file. It is used by the Debian Edu installation scripts but can also be used standalone.
+.\"}}}
+.\"{{{  Author
+.SH AUTHOR
+Debian-Edu International Team.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/debian-edu-config.git