/usr/share/doc/debtags/Makefile is in debtags 2.1.2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | IMAGES=debtags-edit.png packagesearch.png ranganathan.png
all: paper-debtags.html
#paper-debtags.pdf
paper-debtags.html: paper-debtags.rst
rst2html --no-doc-title --stylesheet=main.css $< > $@
paper-debtags.tex: paper-debtags.rst
rst2latex $< | sed 's/\.png/\.eps/' > $@
paper-debtags.dvi: paper-debtags.tex $(IMAGES:.png=.eps)
latex $<
latex $<
paper-debtags.pdf: paper-debtags.dvi
dvipdf $< $@
%.eps: %.png
convert $< $@
clean:
rm -f *.tex *.dvi *.pdf *.eps *.html
|