Description: debianization: documentation
 Meant to maintain a minimal debian/rules, to fix warnings,
 to address Debian specific documentation stuff.
Origin: debian
Forwarded: not-needed
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2020-05-06

--- a/doc/Makefile
+++ b/doc/Makefile
@@ -27,7 +27,7 @@
 
 .SUFFIXES: .dvi .pdf $(SUFFIXES)
 
-PDFTARGETS = bibtool.pdf ref_card.pdf c_lib.pdf
+PDFTARGETS = bibtool.pdf ref_card.pdf #c_lib.pdf
 DVITARGETS = $(PDFTARGETS:%.pdf=%.dvi)
 
 ##-----------------------------------------------------------------------------