[ lint ] silence more complaining

stefan-hoeck · Jul 18, 2023 · fb87721 · fb87721
1 parent 9391879
commit fb87721
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/docs/src/Examples/Selector.md b/docs/src/Examples/Selector.md
@@ -49,7 +49,7 @@ Here is the layout of the main page:
 content : Node String
 content =
   div [ class contentList ]
-      [ div [class pageTitle] ["rhone-js: Examples"]
+      [ div [class pageTitle] ["dom-mvc: Examples"]
       , div [class contentHeader]
           [ label [class widgetLabel] ["Choose an Example"]
           , select

diff --git a/js/README.md b/js/README.md
@@ -1,3 +1,5 @@
-The `rhonejs.js` file in this folder is a compiled version of
+# idris2-dom-mvc: Example Application
+
+The `mvc.js` file in this folder is a compiled version of
 the example project. It was generated by invoking
 `make page` from the root folder.