Clean protocol.toc.

diff --git a/doc/protocol/Makefile.am b/doc/protocol/Makefile.am
index ec6345f..b9cc9ec 100644 (file)
--- a/doc/protocol/Makefile.am
+++ b/doc/protocol/Makefile.am
@@ -22,4 +22,4 @@ commands.tex: cmd/*.tex
 
 clean-local:
        rm -f protocol.aux protocol.log protocol.dvi commands.tex \
-       protocol.1st protocol.ps protocol.out
+       protocol.1st protocol.ps protocol.out protocol.toc