aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral/files/patch-doc-Makefile.doc
blob: 5de6e3a9a2fbab9693b68c958d56f5c5191c814e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17