From bf44088d4373a9520e860152c56a958332819c4b Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 1 May 2023 16:33:51 +0200 Subject: Split nissy in other repos, see README.md --- TODO/installation.md | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 TODO/installation.md (limited to 'TODO/installation.md') diff --git a/TODO/installation.md b/TODO/installation.md deleted file mode 100644 index 7f632c2..0000000 --- a/TODO/installation.md +++ /dev/null @@ -1,14 +0,0 @@ -# Simplify and improve installation - -## Tables - -* Make install should generate tables, or add a "make tables" target to - generate tables. -* Make tables should also check for existing files and remove old ones - (maybe more for nissy's command than for makefile). - -## Correctness - -* Add checksum for all generated files. -* Hard-code results? Check for compatibility problems between different OSes - and filesystems - but there should not be any, since we use stdint.h. -- cgit v1.3