chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Move schema related generated files into their own directory

Browse Source 
PiperOrigin-RevId: 958296165
Change-Id: I48cacc72c7df5994f5f816489ba069a5813845a1
This commit is contained in:
Yuval Tassa
2026-08-03 04:21:16 -07:00
committed by Copybara-Service
parent 5e99ca6cb8
commit b475bb6f36
14 changed files with 30 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/generate/generate_schema.py
+1 -1
View File
@@ -124,7 +124,7 @@ def generate() -> str:
"""
script_dir = os.path.dirname(os.path.abspath(__file__))
repo_root = os.path.dirname(os.path.dirname(script_dir))
filepath = os.path.join(repo_root, 'src', 'xml', 'mjcf_table.inc')
filepath = os.path.join(repo_root, 'src', 'xml', 'generated', 'mjcf_table.inc')
xmlfile = os.path.join(repo_root, 'doc', 'XMLreference.rst')
# Collect all link targets from XMLreference.rst for validation.