Sort the content of dev and etc directories

The idea is that `etc` is shipped in GAP releases and contains extras
for users, while `dev` is not shipped and only for people interacting
with the GAP git repository. Hence move CI specific helper scripts as
well as `bisect.sh` from `etc` to `dev`.

Conversely, move some ctags related files from `dev` to `etc`, as those are
needed to let `make tags` function correctly.

Move `download.sh` from `etc` to `cnf` as it is used by the build system,
not users.

Finally, add `etc/README.md` explaining some of the files there.

.appveyor.yml

@@ -43,12 +43,12 @@ build_script:
   - SET "PATH=%CYG_ROOT%\bin;%PATH%"
   - python -m pip install gcovr==4.2 # for coverage reporting later on
   - bash -lc "gcc --version"
-  - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./etc/ci-prepare.sh"
+  - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./dev/ci-prepare.sh"
 
 test_script:
-  - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./etc/ci.sh"
+  - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./dev/ci.sh"
 
 on_success:
   # make sure to use AppVeyor's Python (not Cygwin's) in the next step
-  - bash -lc "export PATH="/cygdrive/c/Python27:/cygdrive/c/Python27/Scripts:$PATH" ; cd $APPVEYOR_BUILD_FOLDER && ./etc/ci-gather-coverage.sh"
-  - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./etc/ci-run-codecov.sh"
+  - bash -lc "export PATH="/cygdrive/c/Python27:/cygdrive/c/Python27/Scripts:$PATH" ; cd $APPVEYOR_BUILD_FOLDER && ./dev/ci-gather-coverage.sh"
+  - bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./dev/ci-run-codecov.sh"

.ctags

@@ -1 +1 @@
-dev/ctags_for_gap
+etc/ctags_for_gap

.github/workflows/CI.yml

@@ -185,13 +185,13 @@ jobs:
                python -m pip install gcovr
 
       - name: "Compile GAP and download packages"
-        run: ${{ matrix.extra }} bash etc/ci-prepare.sh
+        run: ${{ matrix.extra }} bash dev/ci-prepare.sh
       - name: "Run tests"
-        run: ${{ matrix.extra }} bash etc/ci.sh
+        run: ${{ matrix.extra }} bash dev/ci.sh
       - name: "Gather coverage"
-        run: ${{ matrix.extra }} bash etc/ci-gather-coverage.sh
+        run: ${{ matrix.extra }} bash dev/ci-gather-coverage.sh
       - name: "Upload coverage data to codecov"
-        run: ${{ matrix.extra }} bash etc/ci-run-codecov.sh
+        run: ${{ matrix.extra }} bash dev/ci-run-codecov.sh
       # - uses: codecov/codecov-action@v1
 
       # TODO: fix coveralls integration

Makefile.rules

@@ -1136,7 +1136,7 @@ PKG_BRANCH = master
 PKG_BOOTSTRAP_URL = https://files.gap-system.org/gap4pkgs/
 PKG_MINIMAL = packages-required-$(PKG_BRANCH).tar.gz
 PKG_FULL = packages-$(PKG_BRANCH).tar.gz
-DOWNLOAD = $(abs_srcdir)/etc/download.sh
+DOWNLOAD = $(abs_srcdir)/cnf/download.sh
 
 bootstrap-pkg-minimal:
 	@if test -e pkg; then \

etc/ci-gather-coverage.sh → dev/ci-gather-coverage.sh

@@ -112,7 +112,7 @@ then
   # generate kernel coverage reports by running gcov
   python -m gcovr -r . -o c-coveralls.json --json --exclude-directories pkg/ --exclude-directories extern/ -e pkg/ -e extern/
 
-  python etc/ci-coveralls-merge.py
+  python dev/ci-coveralls-merge.py
 fi
 
 # upload to coveralls.io

etc/ci-prepare.sh → dev/ci-prepare.sh

@@ -45,7 +45,7 @@ time "$SRCDIR/configure" --enable-Werror $CONFIGFLAGS
 time make V=1 -j4
 
 # Use alternative downloader which retries on failure and uses the Travis cache
-DOWNLOAD="$SRCDIR/etc/ci-download.sh"
+DOWNLOAD="$SRCDIR/dev/ci-download.sh"
 if [[ $(uname) == Darwin ]]
 then
     # Travis OSX builders seem to have very small download bandwidth,

etc/README.md

@@ -0,0 +1,24 @@
+# The GAP etc/ directory
+
+Here is an overview of the files in this directory. Most of them
+contain comments with a more detailed description of what they do.
+
+## Files for GAP developers
+
+The following are tools for people working on the GAP code base itself
+
+- `ffgen.c`: used by the GAP build system
+- `tags.sh`: used by the `make tags` build target
+
+## Files for GAP package authors
+
+- `Makefile.gappkg`: build rules intended for use by GAP packages with a kernel extension
+- `convert.pl`: script to convert old style gapmacro-based GAP manual TeX files to HTML
+
+## Files for all GAP users
+
+- `log2html.g`: Utility to convert GAP log files to XHTML 1.0 Strict.
+- `gaplog.css`: used by `log2html.g`
+- `emacs`: used to contain GAP integration for emacs
+- `vim`: GAP integration for vim
+- `xrmtcmd.c`: for use by the GAP help system on X-Window, to control `xdvi`