From ad499d944ee5491b7325a69d1a3207bb5bba5be0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= Date: Wed, 11 Mar 2015 20:15:23 +0100 Subject: doc: add comment in auto-generated doc files to prevent any changes by hand --- doc/en/autogen/user/exec_commands.asciidoc | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc/en/autogen/user/exec_commands.asciidoc') diff --git a/doc/en/autogen/user/exec_commands.asciidoc b/doc/en/autogen/user/exec_commands.asciidoc index b9441adc2..0dbfe5923 100644 --- a/doc/en/autogen/user/exec_commands.asciidoc +++ b/doc/en/autogen/user/exec_commands.asciidoc @@ -1,3 +1,7 @@ +// +// This file is auto-generated by script docgen.py. +// DO NOT EDIT BY HAND! +// [[command_exec_exec]] [command]*`exec`* execute external commands:: -- cgit v1.2.3