← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to Makefile

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2012-01-03 23:42:48 UTC
  • mfrom: (1.2.4)
  • Revision ID: package-import@ubuntu.com-20120103234248-p9r8h1579n67v55a
Tags: 8.3pl3-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
Makefile
6
6
#         #       GNU Lesser General Public License Version 2.1       #
7
7
#######################################################################
8
8
 
9
 
# $Id: Makefile 13566 2010-10-19 13:22:08Z glondu $ 
 
9
# $Id: Makefile 14090 2011-05-03 13:34:16Z pboutill $ 
10
10
 
11
11
 
12
12
# Makefile for Coq
228
228
        rm -f doc/refman/euclid.ml doc/refman/euclid.mli
229
229
        rm -f doc/refman/heapsort.ml doc/refman/heapsort.mli
230
230
        rm -f doc/common/version.tex
231
 
        rm -f doc/refman/styles.hva doc/refman/cover.html doc/refman/*.eps doc/refman/Reference-Manual.html
 
231
        rm -f doc/refman/styles.hva doc/refman/cover.html doc/refman/Reference-Manual.html
232
232
        rm -f doc/coq.tex
233
233
        rm -f doc/refman/styles.hva doc/refman/cover.html 
234
234