doc/man: add common OPTIONS head for command man pages

Signed-off-by: Philippe Proulx <eeppeliteloop@gmail.com>
Signed-off-by: Jérémie Galarneau <jeremie.galarneau@efficios.com>

diff --git a/doc/man/Makefile.am b/doc/man/Makefile.am
index 7eba803f9ca9443de4cdde6ae62797dd0f7b4682..bb123d7675414917fcc0063de80825b4011fbc66 100644 (file)
--- 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 \
 # 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
 
 # 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 (file)
index 0000000..fba544e
--- /dev/null
+++ b/doc/man/common-cmd-options-head.txt
@@ -0,0 +1,3 @@
+OPTIONS
+-------
+General options are described in linklttng:lttng(1).