doc: remove Doxyfile from EXTRA_DIST [skip ci]

Doxyfile is now generated.
odysseywestra · Mar 31, 2020 · a3e42ca · a3e42ca
1 parent 6c5492b
commit a3e42ca
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/doc/Makefile.am b/doc/Makefile.am
@@ -1,5 +1,4 @@
 EXTRA_DIST =		\
-	Doxyfile		\
 	source/conf.py	\
 	source/index.rst