From de5c54e20b6de6dd5fb77631ec7408bc6665c5c6 Mon Sep 17 00:00:00 2001
From: Tim Edwards <tim@opencircuitdesign.com>
Date: Wed, 9 Oct 2024 20:34:08 -0400
Subject: [PATCH] Added a missing description of the "flatten" property, which
 is documented briefly in the "flatten" command reference page, but no in the
 "property" command reference page.

---
 doc/html/property.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/html/property.html b/doc/html/property.html
index 281db7db..0d233d11 100644
--- a/doc/html/property.html
+++ b/doc/html/property.html
@@ -105,6 +105,10 @@ Attach a "property" (string key and value pair) to the edit cell
 	     are required to accommodate pins).  Any set-back applied by the
 	     "lef write -hide <value>" option will be applied to this obstruction
 	     box.
+	<DT> <B>flatten</B>
+	<DD> This property is used in conjunction with the "flatten -doproperty"
+	     command option and marks the cell for flattening.  Cells without
+	     this property defined will not be flattened.
 	<DT> <B>device</B>
 	<DD> This property declares that the cell is a device or contains a
 	     single device that is not a known extractable device defined in