diff --git a/books/Makefile.pamphlet b/books/Makefile.pamphlet
index ffc5dbf..31cb362 100644
--- a/books/Makefile.pamphlet
+++ b/books/Makefile.pamphlet
@@ -50,6 +50,7 @@ ${PDF}/%.pdf: ${IN}/%.pamphlet
@echo b1 making ${PDF}/$*.pdf from ${IN}/$*.pamphlet
@(cd ${PDF} ; \
cp ${BOOKS}/axiom.sty ${PDF} ; \
+ cp ${BOOKS}/bbold.sty ${PDF} ; \
cp ${IN}/$*.pamphlet ${PDF} ; \
cp ${IN}/bookheader.tex ${PDF} ; \
cp -pr ${IN}/ps ${PDF} ; \
diff --git a/books/bbold.sty b/books/bbold.sty
new file mode 100644
index 0000000..2539fdd
--- /dev/null
+++ b/books/bbold.sty
@@ -0,0 +1,45 @@
+%%
+%% This is file `bbold.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% bbold.dtx (with options: `package')
+%%
+%% IMPORTANT NOTICE:
+%%
+%% For the copyright see the source file.
+%%
+%% Any modified versions of this file must be renamed
+%% with new filenames distinct from bbold.sty.
+%%
+%% For distribution of the original source see the terms
+%% for copying and modification in the file bbold.dtx.
+%%
+%% This generated file may be distributed as long as the
+%% original source files, as listed above, are part of the
+%% same distribution. (The sources need not necessarily be
+%% in the same archive or directory.)
+%% \CharacterTable
+%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+%% Digits \0\1\2\3\4\5\6\7\8\9
+%% Exclamation \! Double quote \" Hash (number) \#
+%% Dollar \$ Percent \% Ampersand \&
+%% Acute accent \' Left paren \( Right paren \)
+%% Asterisk \* Plus \+ Comma \,
+%% Minus \- Point \. Solidus \/
+%% Colon \: Semicolon \; Less than \<
+%% Equals \= Greater than \> Question mark \?
+%% Commercial at \@ Left bracket \[ Backslash \\
+%% Right bracket \] Circumflex \^ Underscore \_
+%% Grave accent \` Left brace \{ Vertical bar \|
+%% Right brace \} Tilde \~}
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{bbold}[1994/04/06 Bbold symbol package]
+\newcommand{\bbfamily}{\fontencoding{U}\fontfamily{bbold}\selectfont}
+\newcommand{\textbb}[1]{{\bbfamily#1}}
+\DeclareMathAlphabet{\mathbb}{U}{bbold}{m}{n}
+\endinput
+%%
+%% End of file `bbold.sty'.
diff --git a/changelog b/changelog
index 69187b7..bab0bce 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,6 @@
+20140801 tpd src/axiom-website/patches.html 20140801.01.tpd.patch
+20140801 tpd books/Makefile.pamphlet add bbold.sty
+20140801 tpd books/bbold.sty added
20140731 tpd src/axiom-website/patches.html 20140731.04.tpd.patch
20140731 tpd src/lib/fnct-key.c remove 'save_echo', unused variable
20140731 tpd src/axiom-website/patches.html 20140731.03.tpd.patch
diff --git a/patch b/patch
index e557c2d..554b6be 100644
--- a/patch
+++ b/patch
@@ -1 +1,3 @@
-src/lib/fnct-key.c remove 'save_echo', unused variable
+books/Makefile.pamphlet, bbold.sty add bbold.sty
+
+Apparently bbold.sty is no longer shipped with texlive.
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index b8cc5e9..3c03852 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4594,6 +4594,8 @@ books/bookvol10.1 add toe graph
src/doc/index.html remove unused file
20140731.04.tpd.patch
src/lib/fnct-key.c remove 'save_echo', unused variable
+20140801.01.tpd.patch
+books/Makefile.pamphlet, bbold.sty add bbold.sty