Clean protocol.toc.

diff --git a/doc/protocol/Makefile.am b/doc/protocol/Makefile.am
index ec6345fd1f24bf706b29dd3fedb13bdf33b9ab15..b9cc9ecb6448c6a8d4274da4a555d52927374d51 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