tree c0370b12310f27b1c839ee96f57025449c7cbf06
parent db47c15e8d342c5e5b95d81554d7f901ba062c2e
author yashathwani <145871056+yashathwani@users.noreply.github.com> 1723041842 +0530
committer GitHub <noreply@github.com> 1723041842 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJms4gyCRC1aQ7uu5UhlAAABdsQAEeKtpREDj9IZJmqXgZ3yXQ9
 JQo/2DvtWGqhMPzPtBtHPuJRQOaZnNeOnxpTI2uYNjHsOih00SYazcBPhzfJ68y8
 L8ota062LSxrSZktqhoZPZdzjT2jNKQ8dv8jcfjjBfTazkhp8uR2I400YzsPNqT9
 oKtbRQbL7Hnite/6fQMRHpu1UJ6QHCeeHUp4lPt2LZBVBHtdsHbMGo+iLprD+65m
 JCxUhKPj1GqgYwR1Lzg17KdcxdhvSpt7jne37TSuK8zSFS2+XpCvIiNTG9MPbHiQ
 q4wnm2+FWKpX04cY9ACFTMrtBk6JueOeadDzBOaCjkPZsQixGJXpK4k9HOVb6VVx
 st/WzzZHqcr/wf7VD39E55KXoQN1LvZwKBKvXrutNf1U+7fVxjG6ljZ5/8O4o1VX
 ifemIAwyf4cUxXn6ukPXFia7PrjNHsv/OFHPg/g2NgAJ44O0WDjNSSTO9B3qa/LE
 HhIoTekyrbHO6MFy7jRokKd+aVeQOfdYdxZBUoMADVwoTLNbPWpWN2+qeGmwhWY6
 KhAmnPLwMxltyGqgXMR1p/PX9ZSA5n56BW2kw1YQpEYKpfMWzbEAM2jdNaXnUQ3Z
 gj5ltNDFUkHKiv0tCufrxd6PrMpTZ+3dJ879S2sdY0TJ/Glg2dp06O9/ZIcNyr7M
 mzv22Bbqja7tKJucJSGJ
 =FnUn
 -----END PGP SIGNATURE-----
 

Merge user-defined tags with default tags in stardoc macro (#247)

### 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

1. **Tag Handling:**
   - **Update:** Modified the `stardoc` macro to merge user-defined tags with default tags for auxiliary targets.
   - **Default Behavior:** By default, auxiliary targets receive the `["manual"]` tag.
   - **User-defined Tags:** If user-defined tags are provided, they are appended to the default tag list.

2. **Code Modifications:**
   - **File Updated:** `stardoc/stardoc.bzl`
   - **Details:** Added logic to handle the merging of tags in the `stardoc` macro. Ensured that user-defined tags are correctly 
     combined with default tags before being applied to auxiliary targets.
     
Fixes #245