File tree Expand file tree Collapse file tree 3 files changed +10
-1
lines changed
Expand file tree Collapse file tree 3 files changed +10
-1
lines changed Original file line number Diff line number Diff line change @@ -88,6 +88,7 @@ perf.data.old
8888docs /main
8989docs /build
9090GitGuide.md
91+ Manpage.md
9192mainREADME.md
9293build
9394.scala-build /
Original file line number Diff line number Diff line change @@ -151,6 +151,7 @@ def setup(app):
151151 shutil .copy ('../README.md' , 'mainREADME.md' )
152152 swap_prefix ('mainREADME.md' , '```mermaid' , '```{mermaid}\n :align: center\n ' )
153153
154+ # Get GitGuide file
154155 url = 'https://raw.githubusercontent.com/The-OpenROAD-Project/OpenROAD/master/docs/contrib/GitGuide.md'
155156 get_file_from_url (url , 'contrib/GitGuide.md' )
156157
@@ -163,3 +164,7 @@ def setup(app):
163164 content = content .replace ('The-OpenROAD-flow-scripts' , 'The-OpenROAD' )
164165 with open ('contrib/GitGuide.md' , 'w' ) as f :
165166 f .write (content )
167+
168+ # Get Manpage file
169+ url = 'https://raw.githubusercontent.com/The-OpenROAD-Project/OpenROAD/master/src/utl/README.md'
170+ get_file_from_url (url , 'Manpage.md' )
Original file line number Diff line number Diff line change @@ -22,6 +22,9 @@ entries:
2222 - file : user/InstructionsForAutoTuner.md
2323 title : AutoTuner
2424
25+ - file : Manpage.md
26+ title : Manpages
27+
2528- file : contrib/GettingInvolved.md
2629 title : Getting Involved
2730
@@ -51,4 +54,4 @@ entries:
5154 - file : user/QoRDashboard.md
5255 title : Using the OpenROAD Dashboard to track and analyze QoR
5356 - file : user/Jenkins.md
54- title : Exploring CI Metrics with Jenkins
57+ title : Exploring CI Metrics with Jenkins
You can’t perform that action at this time.
0 commit comments