diff options
author | Mike Gerwitz <mtg@gnu.org> | 2015-05-21 23:56:14 -0400 |
---|---|---|
committer | Mike Gerwitz <mtg@gnu.org> | 2015-05-22 01:25:39 -0400 |
commit | 53218d3dcc3636803a4727f92308bd4519f6825b (patch) | |
tree | 58eccb024f5d2b604961e02844949e1453c007a3 /Makefile | |
parent | 34deb2a47612da45b9766bb06d5c0c29996fb96a (diff) | |
download | thoughts-53218d3dcc3636803a4727f92308bd4519f6825b.tar.gz thoughts-53218d3dcc3636803a4727f92308bd4519f6825b.tar.bz2 thoughts-53218d3dcc3636803a4727f92308bd4519f6825b.zip |
Open Sans font
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -86,7 +86,7 @@ www-root: docs thoughts && find . -maxdepth 2 -name '*.html' -exec ../tools/doc-cp {} ../www-root/{} \; \ && find . -maxdepth 3 \( -name '*.pdf' -o -name '*.dvi' \) -exec cp {} ../www-root/{} \; \ ) - cp -rv images/ www-root/ + cp -rv images/ fonts/ www-root/ cp -v style.css www-root/ mkdir -p www-root/docs cp -rv docs/gh/ www-root/docs/ |