From ad499d944ee5491b7325a69d1a3207bb5bba5be0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
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/fr/autogen/plugin_api/infolists.asciidoc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'doc/fr/autogen/plugin_api/infolists.asciidoc')

diff --git a/doc/fr/autogen/plugin_api/infolists.asciidoc b/doc/fr/autogen/plugin_api/infolists.asciidoc
index b7eb74215..b4f9f5259 100644
--- a/doc/fr/autogen/plugin_api/infolists.asciidoc
+++ b/doc/fr/autogen/plugin_api/infolists.asciidoc
@@ -1,3 +1,7 @@
+//
+// This file is auto-generated by script docgen.py.
+// DO NOT EDIT BY HAND!
+//
 [width="100%",cols="^1,^2,5,5,5",options="header"]
 |===
 | Extension | Nom | Description | Pointeur | Paramètres
-- 
cgit v1.2.3