From 63aeec1e364bda8548d060e5bbe0eb5daa5515f7 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Thu, 4 Jul 2024 18:31:44 +0200 Subject: [PATCH] Updating DRC/LVS doc. --- src/doc/doc/about/drc_ref_source.xml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/doc/doc/about/drc_ref_source.xml b/src/doc/doc/about/drc_ref_source.xml index 74d119bcb..734fe6df7 100644 --- a/src/doc/doc/about/drc_ref_source.xml +++ b/src/doc/doc/about/drc_ref_source.xml @@ -61,7 +61,7 @@ same but without clipping is touching or source.labels
  • source.labels(layer)
  • source.labels(layer, datatype)
  • -
  • source.labels(layer_into)
  • +
  • source.labels(layer_info)
  • source.labels(filter, ...)
  • @@ -318,7 +318,7 @@ the search region with their bounding box (without the requirement to overlap)

  • source.polygons
  • source.polygons(layer)
  • source.polygons(layer, datatype)
  • -
  • source.polygons(layer_into)
  • +
  • source.polygons(layer_info)
  • source.polygons(filter, ...)