[nongnu] elpa/with-editor updated (dbc694406c2 -> 250d5c86e3b)

[ELPA Syncer]

elpasync pushed a change to branch elpa/with-editor.

      from  dbc694406c2 Release version 3.4.7
       new  debe61b4f50 make: Cosmetics
       new  c63a5b990b9 Publish manual and statistics using webdav
       new  250d5c86e3b make: Use absolute urls in exported manuals


Summary of changes:
 .github/workflows/manual.yml |  3 +--
 .github/workflows/stats.yml  |  3 +--
 default.mk                   | 10 +++++---
 docs/Makefile                | 60 ++++++++++++++++----------------------------
 4 files changed, 30 insertions(+), 46 deletions(-)