David Steele e796f563c4 Add cmd-extra field. ... Allow hidden options to be added to a command. This allows certain commands (like apt-get) to be forced during the build without making that a part of the documentation.		2016-06-03 20:07:28 -04:00
..
doc.dtd	Add cmd-extra field.	2016-06-03 20:07:28 -04:00
manifest.dtd	A number of doc improvements:	2015-12-23 11:04:26 -05:00