diff options
| author | Florian Dold <florian.dold@gmail.com> | 2017-05-29 01:18:14 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2017-05-29 01:18:14 +0200 |
| commit | a0536b3b637a1ba6109f9f4b3a3b04a7763582fb (patch) | |
| tree | 8ae0acf1fab91399afcbf9a9dd1d4ed446af1492 /doc/Makefile.am | |
| parent | 2f3564b833dc7f0fe0d20f495829cc4b7bab1621 (diff) | |
rename proposal_data to contract_terms (see #4879)
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 |