diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2016-11-10 01:48:47 +0100 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2016-11-10 01:48:47 +0100 |
| commit | 7b6ac3acf02fcfe118685011d46bb8f6b5cc493c (patch) | |
| tree | 220d4c1f8ea608f710e5d438ad69dbae4809ca3f /.gitignore | |
| parent | 650e0ad46dd4f40251e162d8537cdccddfe274eb (diff) | |
base the Makefile on the same template used for other packages
Beside the obvious differences (the package specific values for
(`PKG', `DEPS', `DOMAIN' and `MANUAL_HTML_ARGS) this only diverges
from the Makefiles of other packages that use the same template in
that an additional target `authors' is available and in that `EFLAGS'
is non-empty.
Compared to the old Makefile the most significant breaking change is
that there no longer exists a `bump-versions' target. To bump the
versions one still only has to edit one file, but that's now the
library, not the Makefile.
Furthermore the autoloads file is now being created automatically, and
the manual can be exported to more formats and the results can easily
be published on the webpage.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1 +1,4 @@ -*.info +/with-editor +/with-editor.html +/with-editor.info +/with-editor.pdf |