diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-08-29 21:20:51 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-08-29 21:58:52 +0200 |
commit | a9424c0887f688e812e498a2556df4b1d9218268 (patch) | |
tree | 395f024c1dd65db7a393c9dbb906e548b9f41b2f /.gitmodules | |
parent | 88bd1804a25056591237c4163faeb4e42449244d (diff) | |
download | guix-a9424c0887f688e812e498a2556df4b1d9218268.tar guix-a9424c0887f688e812e498a2556df4b1d9218268.tar.gz |
build: Build docs from the top-level Makefile.
This undoes commit 575ed8d ("doc: Create own Makefile.am in subdirectory."),
and fixes a bug whereby "make pdf" or "make ps" wouldn't do anything.
* doc/Makefile.am: Remove.
* doc.am: New file. Use `-local' rules to build the image.
* Makefile.am: Include it.
* configure.ac: Use `-Woverride' to avoid undesired overridding of
Automake rules.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions