diff --git a/.gitmodules b/.gitmodules index 2d56fae..3be2da0 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7,3 +7,6 @@ [submodule "public"] path = public url = https://gitmoss.fyi/fmtools/public.git +[submodule "data/publications"] + path = data/publications + url = https://gitmoss.fyi/fmtools/publications.git diff --git a/content b/content index 8d9453a..47a236c 160000 --- a/content +++ b/content @@ -1 +1 @@ -Subproject commit 8d9453a60bce05ddb558f478712a80cb9744bcc6 +Subproject commit 47a236c035a2d52edca597cacfd32215677d9ee8 diff --git a/data/publications b/data/publications new file mode 160000 index 0000000..35254ad --- /dev/null +++ b/data/publications @@ -0,0 +1 @@ +Subproject commit 35254ad2f63f714a349199a7806d3541bf4c91b8 diff --git a/hugo.toml b/hugo.toml index 7e568b8..398a504 100644 --- a/hugo.toml +++ b/hugo.toml @@ -1,3 +1,15 @@ baseURL = 'https://example.org/' languageCode = 'en-us' -title = 'My New Hugo Site' +title = 'Formal Methods Tools' +theme = 'fmtools' + + +[taxonomies] + purpose = 'purposes' + technique = 'techniques' + domain = 'domains' + language = 'languages' + system = 'systems' + interaction = 'interactions' + formalism = 'formalisms' + developer = 'developers' \ No newline at end of file diff --git a/public b/public index 36cf0cf..cddd4b1 160000 --- a/public +++ b/public @@ -1 +1 @@ -Subproject commit 36cf0cfa92ba5bda464c084c6e8a1a5d1a1c849d +Subproject commit cddd4b116c468c8e335e98f291f03bbb493d550c diff --git a/themes/fmtools b/themes/fmtools index 63861e1..9495004 160000 --- a/themes/fmtools +++ b/themes/fmtools @@ -1 +1 @@ -Subproject commit 63861e1721ad68868ba555ec25db8e4708339182 +Subproject commit 94950041f6d88217cc9850198117c02954fe2f2b