add basic plugins documentation

2018-11-30 18:01:47 -08:00
parent 4234968798
commit c63ead9d96
3 changed files with 99 additions and 0 deletions
--- a/util/copyrights
+++ b/util/copyrights
@@ -1510,6 +1510,7 @@
 ./doc/arm/options.grammar.xml			SGML	2018
 ./doc/arm/pkcs11.xml				SGML	2010,2012,2013,2014,2015,2016,2018
 ./doc/arm/pkgversion.xml.in			SGML	2015,2016,2018
+./doc/arm/plugins.xml				SGML	2018
 ./doc/arm/redirect.zoneopt.xml			SGML	2018
 ./doc/arm/releaseinfo.xml.in			SGML	2015,2016,2018
 ./doc/arm/server.grammar.xml			SGML	2018