1- // @ts -check
2- // `@type` JSDoc annotations allow editor autocompletion and type checking
3- // (when paired with `@ts-check`).
4- // There are various equivalent ways to declare your Docusaurus config.
5- // See: https://docusaurus.io/docs/api/docusaurus-config
6-
71import { themes as prismThemes } from 'prism-react-renderer' ;
82
9- /** @type { import('@docusaurus/types').Config } */
10- const config = {
3+ const config : import ( '@docusaurus/types' ) . Config = {
4+ // SEO & Metadata
115 title : 'WASI.dev' ,
126 favicon : 'img/favicon.ico' ,
7+ titleDelimiter : '·' ,
8+ tagline : 'WebAssembly System Interface' ,
139
14- // Set the production url of your site here
10+ // URLs
1511 url : 'https://wasi.dev/' ,
16- // Set the /<baseUrl>/ pathname under which your site is served
17- // For GitHub pages deployment, it is often '/<projectName>/'
1812 baseUrl : '/' ,
19-
20- // GitHub pages deployment config.
21- // If you aren't using GitHub pages, you don't need these.
22- organizationName : 'bytecodealliance' , // Usually your GitHub org/user name.
23- projectName : 'wasi.dev' , // Usually your repo name.
2413 trailingSlash : false ,
2514
15+ // GitHub Configuration
16+ organizationName : 'bytecodealliance' ,
17+ projectName : 'wasi.dev' ,
18+ deploymentBranch : 'main' ,
19+
20+ // Build Checks
2621 onBrokenLinks : 'throw' ,
2722 onBrokenMarkdownLinks : 'warn' ,
2823
29- // Even if you don't use internationalization, you can use this field to set
30- // useful metadata like html lang. For example, if your site is Chinese, you
31- // may want to replace "en" with "zh-Hans".
24+ // Internationalization
3225 i18n : {
3326 defaultLocale : 'en' ,
3427 locales : [ 'en' ] ,
@@ -37,30 +30,27 @@ const config = {
3730 presets : [
3831 [
3932 'classic' ,
40- /** @type {import('@docusaurus/preset-classic').Options } */
41- ( {
33+ {
4234 docs : {
43- routeBasePath : '/' , // Set this value to '/'.
44-
35+ routeBasePath : '/' ,
4536 sidebarPath : './sidebars.js' ,
46- // Please change this to your repo.
47- // Remove this to remove the "edit this page" links.
48- editUrl :
49- 'https://github.com/facebook/docusaurus/tree/main/packages/create-docusaurus/templates/shared/' ,
37+ editUrl : 'https://github.com/bytecodealliance/wasi.dev/tree/main' ,
5038 } ,
5139 blog : false ,
5240 theme : {
5341 customCss : './src/css/custom.css' ,
5442 } ,
55- } ) ,
43+ pages : {
44+ path : './pages' ,
45+ }
46+ } satisfies import ( '@docusaurus/preset-classic' ) . Options ,
5647 ] ,
5748 ] ,
5849
5950 themeConfig :
60- /** @type {import('@docusaurus/preset-classic').ThemeConfig } */
61- ( {
62- // Replace with your project's social card
63- image : 'img/docusaurus-social-card.jpg' ,
51+ {
52+ // TODO: Add social image
53+ // image: 'img/docusaurus-social-card.jpg',
6454 navbar : {
6555 title : 'WASI.dev' ,
6656 logo : {
@@ -111,7 +101,7 @@ const config = {
111101 theme : prismThemes . github ,
112102 darkTheme : prismThemes . dracula ,
113103 } ,
114- } ) ,
104+ } satisfies import ( '@docusaurus/preset-classic' ) . ThemeConfig ,
115105} ;
116106
117107export default config ;
0 commit comments