diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-08-14 23:31:14 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-08-14 23:31:14 -0700 |
| commit | 4fa4485689619ad0092e3fd289534cfb320f56f3 (patch) | |
| tree | f72f5aa4f2bccf9d859c4c0458b32d429e53208d /Makefile.in | |
| parent | 555d556547d3cd97803ff2fcb06307a94e51ace5 (diff) | |
| download | emacs-4fa4485689619ad0092e3fd289534cfb320f56f3.tar.gz | |
Cleanup for etc/refcards/Makefile and related items
* .bzrignore: Unignore etc/refcards/Makefile.
* make-dist: Do not distribute etc/refcards TeX intermediate files.
* Makefile.in (install-arch-indep):
Do not install etc/refcards TeX intermediate files.
* etc/refcards/Makefile: Rewrite to use portable Makefile syntax.
Add language-specific targets.
(distclean, extraclean): New rules.
* etc/refcards/README: Add copyright and license. Add Makefile details.
Mention http and FSF store versions.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index db028132e5c..ee74baf45cf 100644 --- a/Makefile.in +++ b/Makefile.in @@ -543,6 +543,11 @@ set_installuser=for installuser in $${LOGNAME} $${USERNAME} $${USER} \ ## deleted the entire installed etc/ directory and recreated it. ## install-etcdoc installs the relevant DOC. +## Note that we install etc/refcards/*.ps if present. +## TODO we should compress these if GZIP_PROG is set. +## It would be simpler to have a separate install rule for etc/refcards +## (maybe move it to doc/refcards?). + ## Note that the Makefiles in the etc directory are potentially useful ## in an installed Emacs, so should not be excluded. @@ -578,7 +583,12 @@ install-arch-indep: lisp leim install-info install-man ${INSTALL_ARCH_INDEP_EXTR (cd $${dir}; tar -chf - . ) \ | (cd $${dest}; umask 022; \ tar -xvf - && cat > /dev/null) || exit 1; \ - [ "$${dir}" != "${srcdir}/etc" ] || rm -f $${dest}/DOC* ; \ + if [ "$${dir}" = "${srcdir}/etc" ]; then \ + rm -f $${dest}/DOC* ; \ + rm -f $${dest}/refcards/*.aux $${dest}/refcards/*.dvi; \ + rm -f $${dest}/refcards/*.log; \ + else true; \ + fi; \ for subdir in `find $${dest} -type d -print` ; do \ chmod a+rx $${subdir} ; \ rm -f $${subdir}/.gitignore ; \ |