diff options
Diffstat (limited to 'release/picobsd/doc/src/Makefile')
-rw-r--r-- | release/picobsd/doc/src/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/release/picobsd/doc/src/Makefile b/release/picobsd/doc/src/Makefile new file mode 100644 index 0000000..6478cbf --- /dev/null +++ b/release/picobsd/doc/src/Makefile @@ -0,0 +1,14 @@ +# +# $Id$ +# + +.include "../../Version" + +DOCS= bugs.html faq.html hardware.html how2build.html \ + intrinsics.html intro.html + +all: ../../Version + for i in `ls *.html`; \ + do \ + cat $${i}|sed -e 's/@VER@/${VER}/g' >../$${i}; \ + done |