diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2022-04-08 21:11:16 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2022-04-08 21:11:16 +0300 |
| commit | 24a6c7c8c01a607c4cb60f72f762cfa9de3adc48 (patch) | |
| tree | 4e54ee39f87629f85fa3b66bc061c1f01fee1295 /etc/refcards | |
| parent | 886339747b8d34fc09fd69a143cf548daf92dce6 (diff) | |
| download | emacs-24a6c7c8c01a607c4cb60f72f762cfa9de3adc48.tar.gz emacs-24a6c7c8c01a607c4cb60f72f762cfa9de3adc48.tar.bz2 emacs-24a6c7c8c01a607c4cb60f72f762cfa9de3adc48.zip | |
Update and fix instructions and scripts for updating the Web pages
* admin/admin.el (manual-html-fix-index-2): Support Texinfo 6.8
and later by not converting TOC menus into tables. (Bug#49719)
* admin/upload-manuals (New directory): Invoke "cvs add" in
$webdir, to pick up the correct CVSROOT.
* admin/make-tarball.txt: Update the section about the Emacs Web
pages.
* etc/refcards/Makefile (pl-refcard.dvi): If mex.fmt cannot be
found, invoke 'mex' instead of 'tex'.
Diffstat (limited to 'etc/refcards')
| -rw-r--r-- | etc/refcards/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/etc/refcards/Makefile b/etc/refcards/Makefile index 6f8913c5f01..4c5daa9f44c 100644 --- a/etc/refcards/Makefile +++ b/etc/refcards/Makefile @@ -233,10 +233,11 @@ pl-refcard.pdf: $(pl_refcard_deps) fi $(ENVADD) pdftex -output-format=pdf pl-refcard.tex pl-refcard.dvi: $(pl_refcard_deps) - if ! kpsewhich -format=fmt mex > /dev/null; then \ - echo "No mex format found."; false; \ + if kpsewhich -format=fmt mex > /dev/null; then \ + $(ENVADD) tex pl-refcard.tex; \ + else \ + $(ENVADD) mex pl-refcard.tex; \ fi - $(ENVADD) tex pl-refcard.tex pl-refcard.ps: pl-refcard.dvi dvips -t a4 -o $@ pl-refcard.dvi |