gnu: Remove akonadi-notes.

* gnu/packages/kde-pim.scm (akonadi-notes): Delete variable.

Change-Id: I4cc4f4afbbcddd51a851c71d7d1504ab54e41bfe

gnu: Remove easytag.

* gnu/packages/music.scm (easytag): Delete variable.

Fixes: guix/guix#4661
Change-Id: I13760304df8a7ddd97f8a21a1dba08bcd3c43742

gnu: Remove t4k-common.

* gnu/packages/education.scm (t4k-common): Delete variable.

Fixes: guix/guix#4629
Change-Id: Ibb5b39e62c1fe05c99d8e89809bb689cdc30c179

gnu: Remove tuxmath.

* gnu/packages/education.scm (tuxmath): Delete variable.

Change-Id: I47873f6194842d8e180471265e03e9c3e93e9932

gnu: Remove florence.

* gnu/packages/accessibility.scm (florence): Delete variable.

Fixes: guix/guix#4625
Change-Id: I1e79557a4c8b469e0f4f3f5033d11dd7db0f7f8b

gnu: Remove khmer.

* gnu/packages/bioinformatics.scm (khmer): Delete variable.

Fixes: guix/guix#4489
Change-Id: I88aca5be768690b236343f2e959ecb71b4a5c984

gnu: Remove python-pyqtwebengine.

* gnu/packages/qt.scm (python-pyqtwebengine): Delete variable.

Fixes: guix/guix#4379
Fixes: guix/guix#2915
Change-Id: I186ccb8d009b9796eb11e2d28988d9b852a1be31

gnu: python-pyqtwebengine-6: Disinherit from python-pyqtwebengine.

* gnu/packages/qt.scm (python-pyqtwebengine-6): Do not inherit. Copy
missing fields.

Change-Id: I01876c38c8416f61d428fe325f1839a4ffa44960

gnu: Remove anki.

* gnu/packages/education.scm (anki): Delete variable.
* gnu/packages/patches/anki-mpv-args.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Unregister patch.

Fixes: guix/guix#2813
Change-Id: I0bb41d47cd73aca424c0f41ca777a166e6f43da7

gnu: Remove openshot.

* gnu/packages/video.scm (openshot): Delete variable.

Change-Id: I07f2495992c083e6760237d8ea26eb1725b5022d

gnu: Remove (gnu packages idris).

* gnu/packages/idris.scm: Remove file.
* gnu/local.mk (GNU_SYSTEM_MODULES), po/packages/POTFILES.in: Unregister file.

Fixes: guix/guix#4391
Change-Id: I03f0eb98456fd478c91cfe45c2334fb947a33229

gnu: Remove idris.

* gnu/packages/idris.scm (idris): Delete variable.
* gnu/packages/patches/idris-test-ffi008.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Unregister patch.

Change-Id: I7a825e25e4c2e8c67b8395ef1efd80bfa40d5fc4

gnu: Remove idris-lightyear.

* gnu/packages/idris.scm (idris-lightyear): Delete variable.

Change-Id: I8acc2c3c6dd02edff64968f2d676dea5ed481319

gnu: Remove idris-lens.

* gnu/packages/idris.scm (idris-lens): Delete variable.

Change-Id: I53eb1218e44a5cd595d63cf4813d0b43e3ecf7c3

gnu: Remove idris-bifunctors.

* gnu/packages/idris.scm (idris-bifunctors): Delete variable.

Change-Id: I66b439c010bc96dc8634bf5872dc0babffb39631

gnu: Remove idris-wl-pprint.

* gnu/packages/idris.scm (idris-wl-pprint): Delete variable.

Change-Id: I075664df687741c74e1987cb100576d61c29cff5

gnu: Remove emacs-idris-mode.

* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Delete variable.

Change-Id: I015d2a9d9d4ec44fe09846f53f123d9a5f7fab4e

gnu: Add emacs-markov-text.

* gnu/packages/emacs-xyz.scm (emacs-markov-text): New variable.

Merges guix/guix#5153

Change-Id: Ie95b9f592aa1df8d5091a8c82b4cabaf30229482
Signed-off-by: Cayetano Santos <csantosb@inventati.org>

doc: Better explain extra development tools when building from git.

* doc/contributing.texi (Building from Git): Better explain adding tools.

Change-Id: I47fb9e5414edc5eebce64d25db6998cc51985fcb
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Merges: #4821

doc: Explain that some test require network when building from git.

* doc/contributing.texi (Building from Git): Discuss network tests.

Change-Id: I21c8e4a1e60ed215a6fb3507b7aedc1835f735ad
Signed-off-by: Ludovic Courtès <ludo@gnu.org>