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 /make-dist | |
| 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 'make-dist')
| -rwxr-xr-x | make-dist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make-dist b/make-dist index 75e4b22b238..920ca2bc786 100755 --- a/make-dist +++ b/make-dist @@ -476,6 +476,9 @@ echo "Making links to \`etc' and its subdirectories" for f in `find etc -type f`; do case $f in etc/DOC*|etc/*.pyc) continue ;; + ## Arguably we should not exclude *.ps. + etc/refcards/*.aux|etc/refcards/*.dvi|etc/refcards/*.log|etc/refcards/*.ps) + continue ;; esac ln $f $tempdir/$f done |