index
:
with-editor.git
main
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
docs
/
Makefile
Age
Commit message (
Expand
)
Author
2025-05-09
make: Do not needlessly quote every comma in generated texi files
Jonas Bernoulli
2024-08-20
make: Make .orgconfig a prerequisite of %.texi
Jonas Bernoulli
2024-08-17
make: Re-generate %.texi if HEAD changed since previous run
Jonas Bernoulli
2024-08-16
make: Ensure documentation is cleaned up and regenerated when needed
Jonas Bernoulli
2024-06-18
make: Fix texi target
Jonas Bernoulli
2024-06-07
make: Integrate texi target
Jonas Bernoulli
2023-12-09
make: Remove obsolete org-export kludges
Jonas Bernoulli
2022-11-19
make: Explicitly specify output directory for makeinfo --html
Jonas Bernoulli
2022-08-10
make: Print message for texi target
Jonas Bernoulli
2022-04-22
make: Right-align target verbs
Jonas Bernoulli
2022-03-20
Automatically publish statistics
Jonas Bernoulli
2022-03-20
Remove AUTHORS.md
Jonas Bernoulli
2022-01-30
Hardcode version string for now
Jonas Bernoulli
2021-12-26
manual: Use updated support for definition commands
Jonas Bernoulli
2021-12-16
make: Set more variables in default.mk
Jonas Bernoulli
2021-12-16
make: Fix publish and release targets
Jonas Bernoulli
2021-12-16
make: Update stats target
Jonas Bernoulli
2021-12-16
Add lisp/ and docs/ directories
Jonas Bernoulli