docs: add back .md.html files

And also make Filament.html and Material.html redirects to the
md.html

docs_src/README.md

@@ -78,6 +78,11 @@ These are technical documents that do not fit into a library, tool, or directory
 Filament source tree. We collect them into the `docs_src/src/notes` directory. No additional
 processing are needed for these documents.
 
+### Raw source files
+These are files that are not part of the mdbook generation, but should be included output in /docs
+to point to standalone pages/components (for example, the remote page for Android gltf_viewer). These
+files are stored in `docs_src/src_raw`.
+
 ## Adding more documents
 To add any documentation, first consider the type of the document you like to add. If it
 belongs to any of the above sources, then simply place the document in the appropriate place,

docs_src/build/run.py

@@ -31,6 +31,9 @@ RAW_COPIES_DIR = os.path.join(CUR_DIR, '../src_raw')
 DUP_DIR = os.path.join(SRC_DIR, 'dup')
 MAIN_DIR = os.path.join(SRC_DIR, 'main')
 
+FILAMENT_MD = 'Filament.md.html'
+MATERIALS_MD = 'Materials.md.html'
+
 def transform_dup_file_link(line, transforms):
   URL_CONTENT = '[-a-zA-Z0-9()@:%_\+.~#?&//=]+'
   res = re.findall(f'\[(.+)\]\(({URL_CONTENT})\)', line)
@@ -134,3 +137,5 @@ if __name__ == "__main__":
   assert res == 0, f"failed to execute `mdbook`. return-code={res} err=\"{err}\""
 
   shutil.copytree(RAW_COPIES_DIR, BOOK_OUPUT_DIR, dirs_exist_ok=True)
+  shutil.copy(os.path.join(MARKDEEP_DIR, FILAMENT_MD), BOOK_OUPUT_DIR)
+  shutil.copy(os.path.join(MARKDEEP_DIR, MATERIALS_MD), BOOK_OUPUT_DIR)