Distributions are a pain --- let's not bother any more. Instead, we just tag

the repository and download a complete snapshot, old and ancient stuff and all.
2016-09-02 23:00:38 +02:00
parent 612e38f1c6
commit f67c98e239
453 changed files with 19 additions and 5003 deletions
--- a/doc/em/.distr
+++ b/doc/em/.distr
@@ -1,28 +0,0 @@
-proto.make
-READ_ME
-app.codes.nr
-app.exam.nr
-assem.nr
-cont.nr
-descr.nr
-dspace.nr
-em.i
-env.nr
-even.c
-exam.e
-exam.p
-int
-intro.nr
-ip.awk
-ispace.nr
-mach.nr
-macr.nr
-mapping.nr
-mem.nr
-title.nr
-traps.nr
-types.nr
-mkdispatch.c
-dispat1.sed
-dispat2.sed
-dispat3.sed
--- a/doc/em/int/.distr
+++ b/doc/em/int/.distr
@@ -1,5 +0,0 @@
-proto.make
-READ_ME
-em.p
-emdmp.c
-mktables.c