diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-06-04 01:06:09 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-06-04 01:06:09 +0200 |
| commit | d3522a172d544cf759258972fa9de14dfb1e2b3f (patch) | |
| tree | 5d2cdde6bf2605c909c4502b1ad95a3b2d7f442a /doc/Makefile.am | |
| parent | 0878d31f69185cf66d58eea98589948fa8bebe67 (diff) | |
| parent | fc6ee7d0f6bb4c88f969baebc9a677d77cbc386e (diff) | |
| download | merchant-d3522a172d544cf759258972fa9de14dfb1e2b3f.tar.gz merchant-d3522a172d544cf759258972fa9de14dfb1e2b3f.tar.bz2 merchant-d3522a172d544cf759258972fa9de14dfb1e2b3f.zip | |
fix merge issue: proposal_data -> contract_terms rename
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index b233fa5c..86e8e653 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -3,7 +3,7 @@ all: manual.pdf manual.html manual.pdf: arch.pdf manual.texi texi2pdf manual.texi manual.html: arch.jpg manual.texi - texi2html manual.texi + makeinfo --html --no-split manual.texi arch.pdf: arch.dot dot -Tpdf arch.dot > arch.pdf arch.jpg: arch.dot |