Closed yashathwani closed 3 months ago
@tetromino @evan-flynn-apexai I have made the requested changes please have a look !!
@tetromino Thank you for your feedback on the tag merging logic. I've implemented your suggestion to merge the tags from kwargs without duplicating "manual" and pushed the changes.Please let me know if there are any further adjustments needed.
Description
This pull request introduces changes to the
stardoc
macro to enhance its functionality by including user-defined tags in auxiliary targets. Previously, auxiliary targets only included default tags, and there was no way to specify additional tags.Changes Made
Tag Handling:
stardoc
macro to merge user-defined tags with default tags for auxiliary targets.["manual"]
tag.Code Modifications:
stardoc/stardoc.bzl
stardoc
macro. Ensured that user-defined tags are correctly combined with default tags before being applied to auxiliary targets.Fixes #245