diff --git a/src/Makefile.pamphlet b/src/Makefile.pamphlet
index cb3e680d..cd5026cf 100644
--- a/src/Makefile.pamphlet
+++ b/src/Makefile.pamphlet
@@ -49,9 +49,10 @@ processes including axiom, clef, nagman, graphics, and hyperdoc
 \begin{chunk}{smandir}
 smandir: ${SPD}/books/bookvol6.pamphlet
 	@echo 5 making ${SRC}/sman
-	@( cd sman ; \
+	@( mkdir -p sman ; \
+	   cd sman ; \
 	   ${BOOKS}/tanglec ${BOOKS}/bookvol6.pamphlet >Makefile ; \
-           ${ENV} ${MAKE} )
+	   ${ENV} ${MAKE} )
 
 \end{chunk}
 \subsection{The share directory}
@@ -67,8 +68,8 @@ ${SRC}/share/Makefile: ${SRC}/share/Makefile.pamphlet
 	@echo 10 making ${SRC}/share/Makefile from \
            ${SRC}/share/Makefile.pamphlet
 	@( cd share ; \
-           ${EXTRACT} Makefile ; \
-           cp Makefile.pdf ${MNT}/${SYS}/doc/src/share.Makefile.pdf )
+	   ${EXTRACT} Makefile ; \
+	   cp Makefile.pdf ${MNT}/${SYS}/doc/src/share.Makefile.pdf )
 
 sharedocument: ${SRC}/share/Makefile
 	@echo 11 documenting ${SRC}/share