how/eer
1
0
Fork 0
forked from eris/eer
Code Issues Pull requests Projects Releases Wiki Activity
ERIS Extensions and Recommendations
12 commits 2 branches 0 tags 539 KiB
  • Roff 57.1%
  • Makefile 31.5%
  • Scheme 11.4%
Find a file
pukkamustard d4795ad8df eer-001: ERIS over HTTP
2022-05-12 17:25:19 +02:00
eer-001 eer-001: ERIS over HTTP 2022-05-12 17:25:19 +02:00
eer-002 eer-002: ERIS and RDF 2022-05-12 16:52:30 +02:00
eer-003 eer-003: Move README.md to index.md 2022-05-12 12:52:11 +02:00
eer-004 eer-004: ERIS and Magnet URI 2022-05-12 12:49:52 +02:00
eer-005 eee-005: Merge abstract and intro 2022-05-12 15:25:38 +02:00
template eer-005: ERIS Cache 2022-05-12 12:49:52 +02:00
.gitignore Render as HTML with Makefile and lowdown 2022-05-11 13:16:49 +02:00
COPYING Initial commit 2022-01-31 10:45:11 +01:00
guix.scm eer-005: ERIS Cache 2022-05-12 12:49:52 +02:00
index.md eer-001: ERIS over HTTP 2022-05-12 17:25:19 +02:00
Makefile eer-005: ERIS Cache 2022-05-12 12:49:52 +02:00
README.md Move index page to index.md 2022-05-12 12:47:32 +02:00

README.md

ERIS Extensions and Recommendations

This repository contains documentation of extensions, recommendations and best-practices related to ERIS.

Writing and Publishing

EERs are located in the eer-* folders in the index.md files.

EERs and a index page can be rendered to HTML with lowdown by running make.

Everything is published using Codeberg Pages, i.e. the pages branch of this repository is made available at https://eris.codeberg.page/eer.

You can checkout the pages branch in an other git worktree: git worktree add ../eer-pages pages and then render to the pages worktree with OUT=../eer-pages make. To publish you will need to commit and push changes in the pages branch.

License

CC-BY-SA-4.0