Tweaking configure and friends is most likely not of much interest for
anyone beside the tools maintainers.
List such files, which are currently covered by "THE REST", in the
TOOLSTACK section. Also update list of stubdom related files.
Signed-off-by: Olaf Hering <olaf@aepfle.de>
Cc: Ian Campbell <ian.campbell@citrix.com>
Cc: Ian Jackson <ian.jackson@eu.citrix.com>
Cc: Jan Beulich <jbeulich@suse.com>
Cc: Keir Fraser <keir@xen.org>
Cc: Tim Deegan <tim@xen.org>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
M: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
M: Samuel Thibault <samuel.thibault@ens-lyon.org>
S: Supported
+F: config/MiniOS.mk
F: extras/mini-os/
OCAML TOOLS
M: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
M: Samuel Thibault <samuel.thibault@ens-lyon.org>
S: Supported
+F: config/Stubdom.mk.in
+F: m4/stubdom.m4
F: stubdom/
TOOLSTACK
M: Ian Campbell <ian.campbell@citrix.com>
M: Wei Liu <wei.liu2@citrix.com>
S: Supported
+F: autogen.sh
+F: config/*.in
+F: install.sh
+F: m4/
+F: configure
+F: docs/Makefile
+F: stubdom/Makefile
+F: *.ac
+F: */configure
+F: */*.ac
F: tools/
TRANSCENDENT MEMORY (TMEM)