Clean protocol.out as well.

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