From 83f27f7110707c0da4628afe11779a73521fd9d1 Mon Sep 17 00:00:00 2001 From: Philippe Proulx Date: Mon, 16 Nov 2015 23:38:05 -0500 Subject: [PATCH] doc/man: add common OPTIONS head for command man pages MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Philippe Proulx Signed-off-by: Jérémie Galarneau --- doc/man/Makefile.am | 3 ++- doc/man/common-cmd-options-head.txt | 3 +++ 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 doc/man/common-cmd-options-head.txt diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am index 7eba803f9..bb123d767 100644 --- a/doc/man/Makefile.am +++ b/doc/man/Makefile.am @@ -46,7 +46,8 @@ MAN_XML = $(patsubst $(srcdir)/%.txt,%.xml,$(MAN_TXT)) # common AsciiDoc source files COMMON_TXT = \ $(srcdir)/common-footer.txt \ - $(srcdir)/common-cmd-footer.txt + $(srcdir)/common-cmd-footer.txt \ + $(srcdir)/common-cmd-options-head.txt # config ASCIIDOC_CONF = $(srcdir)/asciidoc.conf diff --git a/doc/man/common-cmd-options-head.txt b/doc/man/common-cmd-options-head.txt new file mode 100644 index 000000000..fba544ebc --- /dev/null +++ b/doc/man/common-cmd-options-head.txt @@ -0,0 +1,3 @@ +OPTIONS +------- +General options are described in linklttng:lttng(1). -- 2.34.1