blob: 0331cd1028ebc540fb24977801515b1f533b2fd3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
##
## Makefile for Proof General doc directory.
##
## Author: David Aspinall <da@dcs.ed.ac.uk>
##
## Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
##
## $Id$
##
###########################################################################
##
## Use:
## make info,dvi,pdf,html - build respective docs from texi source.
## make doc - make default kinds of doc (dvi, info).
##
###########################################################################
default:
$(MAKE) doc
%:
$(MAKE) -f Makefile.doc DOCNAME=PG-adapting MAKE="$(MAKE) -f Makefile.doc" $@
$(MAKE) -f Makefile.doc DOCNAME=ProofGeneral MAKE="$(MAKE) -f Makefile.doc" $@
##
## man page for proofgeneral script
##
# man: proofgeneral.1
#
proofgeneral.1: ../bin/proofgeneral
help2man --output=$@ ../bin/proofgeneral
|