languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-05 16:41:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

[vm/docs] Rename index.md to README.md

Browse source 
R=kevmoo@google.com
TEST=docs only change

Change-Id: I7e0f3a8fd7d4917dead0e8e4c80c0bbdd0ff591c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/283683
Reviewed-by: Kevin Moore <kevmoo@google.com>
This commit is contained in:
Vyacheslav Egorov 2023-02-16 17:19:13 +00:00 committed by Slava Egorov
parent ba3171ae3e
commit 3128c61d1a
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
runtime/docs/index.md → runtime/docs/README.md
View file

5
runtime/tools/wiki/build/build.py
View file

@ -132,8 +132,9 @@ class Page(Artifact):
def __init__(self, name: str):
self.name = name
super().__init__(os.path.join(OUTPUT_DIR, name + '.html'),
[os.path.join(WIKI_SOURCE_DIR, name + '.md')])
output_name = 'index' if name == 'README' else name
super().__init__(os.path.join(OUTPUT_DIR, f'{output_name}.html'),
[os.path.join(WIKI_SOURCE_DIR, f'{name}.md')])
def __repr__(self):
return f'Page({self.output} <- {self.inputs[0]})'