randogoth/mews.page
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs: tighten the site text and fold the about page into the index

Browse source
This commit is contained in:
randogoth 2026-10-11 15:12:14 +03:00
parent 18ab5a91ad
commit 39269ca61b
5 changed files with 65 additions and 186 deletions
Download patch file Download diff file Expand all files Collapse all files

4
flake.nix
View file

@ -109,7 +109,7 @@
# page that does not follow the spec cannot reach the server.
site = pkgs.runCommand "mews-site" { } ''
mkdir -p $out/spec $out/dtd
cp ${./site}/index.html ${./site}/about.html ${./site}/check.html $out/
cp ${./site}/index.html ${./site}/check.html $out/
cp ${./mews-0.1.css} $out/mews-0.1.css
cp ${./mews-0.1.css} $out/spec/mews-0.1.css
cp ${./dtd/mews-0.1.dtd} $out/dtd/mews-0.1.dtd
@ -121,7 +121,7 @@
--description ${lib.escapeShellArg specDescription}
${app}/bin/mewslint --quiet \
$out/index.html $out/about.html $out/check.html $out/spec/0.1.html
$out/index.html $out/check.html $out/spec/0.1.html
'';
}
);