Index: trunk/doc/Makefile
===================================================================
--- trunk/doc/Makefile	(revision 5774)
+++ trunk/doc/Makefile	(revision 5775)
@@ -12,10 +12,6 @@
 keys_mkey.html: $(MENU_RES_MKEY) $(KEYLIST)
 	$(KEYLIST) $(MENU_RES_MKEY) > keys_mkey.html
 
-features/debian_list.html: ../debian/control
-	$(DEBLIST) < ../debian/control > features/debian_list.html
-	./Autostyle.sh features/debian_list.html
-
 install:
 	cd man && make install