diff options
| author | Craig Jennings <c@cjennings.net> | 2025-09-05 13:08:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-05 13:08:48 -0500 |
| commit | 419111900eb6089516aa2c1a6d3aa6a9ac0c0d1f (patch) | |
| tree | bb67136e616c24a50b370fa0b6862afb30a02505 | |
| parent | 34cadedc4bdbf6f2e4671ad4171f79a8192d81d3 (diff) | |
| parent | f033027f9d2f1841f4dc26826b5fe9505d363c1a (diff) | |
| download | dotemacs-419111900eb6089516aa2c1a6d3aa6a9ac0c0d1f.tar.gz dotemacs-419111900eb6089516aa2c1a6d3aa6a9ac0c0d1f.zip | |
Merge pull request #4 from cjennings/codex/add-emacs-info-file-generation
Build Emacs info docs in build script
| -rwxr-xr-x | scripts/build-emacs.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/build-emacs.sh b/scripts/build-emacs.sh index f3f0f9b3..c5c92b96 100755 --- a/scripts/build-emacs.sh +++ b/scripts/build-emacs.sh @@ -115,11 +115,19 @@ say "...compiling (jobs=$MAKE_JOBS)" run "make -j${MAKE_JOBS}" ) +# Build documentation (info files) +say "...building info files" +( + cd "$SRC_DIR" + run "make info" +) + # Install to user-local prefix say "...installing to ${PREFIX}" ( cd "$SRC_DIR" run "make install" + run "make install-info" ) # ymlink all installed executables (emacs, emacsclient, etags, etc.) |