Vadim Zeitlin 251561172a Remove mentions of non-existent docs/$toolkit/install.txt ...

Don't include these files in "make dist" (which seems completely unused
anyhow, and probably broken because of this).

2018-12-10 19:06:18 +01:00

5.5 KiB

Raw Blame History

View Raw