diff options
| author | Mike Gerwitz <mtg@gnu.org> | 2016-10-13 22:58:54 -0400 |
|---|---|---|
| committer | Mike Gerwitz <mtg@gnu.org> | 2016-10-13 23:10:14 -0400 |
| commit | da2b079f9a5f763686e739c9e6916882b3c10685 (patch) | |
| tree | fb9a02dae91b5016f470bd0412c3cc267f97fbed /Makefile | |
| parent | 34078c338bec2289c746cd48d3cade994cda9251 (diff) | |
| download | thoughts-da2b079f9a5f763686e739c9e6916882b3c10685.tar.gz thoughts-da2b079f9a5f763686e739c9e6916882b3c10685.tar.bz2 thoughts-da2b079f9a5f763686e739c9e6916882b3c10685.zip | |
: GPG key change and transition statement
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -87,6 +87,7 @@ www-root: docs thoughts && find . -maxdepth 3 \( -name '*.pdf' -o -name '*.dvi' \) -exec cp {} ../www-root/{} \; \ ) cp -rv images/ fonts/ www-root/ + cp -rv _raw/* www-root/ cp -v style.css www-root/ mkdir -p www-root/docs cp -rv docs/gh/ www-root/docs/ |