Consolidated /docs into /pubs

2017-09-12 11:28:18 -07:00 · 2017-09-12 11:28:18 -07:00 · 71d117fa02
commit 71d117fa02
parent 9d356c582b
106 changed files with 350 additions and 317 deletions
--- a/docs/pcx86/examples/zip.sh
+++ b/docs/pcx86/examples/zip.sh
@ -1,4 +0,0 @@
-#!/bin/sh
-if [ ! -d zips ]; then mkdir zips; fi
-zip -q zips/$1 * -x examples*.zip zip.sh
-cp zips/$1 examples.zip