diff options
| author | Marek Benc <merkur32@gmail.com> | 2014-09-09 13:39:55 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-09-09 13:40:04 +0200 |
| commit | 52910ded6c36580d0d1f2be5a686f7cb1f9623b9 (patch) | |
| tree | c7a27ff28e46b7de9c449dc18c513a0208eeb0e3 /gnu/packages/patches/ots-no-include-missing-file.patch | |
| parent | 1deac3440cc06060494bc821b2325cdf326b5696 (diff) | |
gnu: Add ots.
* gnu/packages/patches/ots-no-include-missing-file.patch: New file.
* gnu/packages/ots.scm: New file.
* gnu-system.am (GNU_SYSTEM_MODULES): Add ots.scm.
(dist_patch_DATA): Add ots-no-include-missing-file.patch.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/patches/ots-no-include-missing-file.patch')
| -rw-r--r-- | gnu/packages/patches/ots-no-include-missing-file.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gnu/packages/patches/ots-no-include-missing-file.patch b/gnu/packages/patches/ots-no-include-missing-file.patch new file mode 100644 index 0000000000..c23c7c36a1 --- /dev/null +++ b/gnu/packages/patches/ots-no-include-missing-file.patch @@ -0,0 +1,14 @@ +The file $(top_srcdir)/gtk-doc.make doesn't exist, so don't include it. + +--- a/doc/Makefile.in 2007-04-08 20:17:25.000000000 +0200 ++++ b/doc/Makefile.in 2014-09-06 23:19:41.413397662 +0200 +@@ -240,9 +240,6 @@ + distclean-generic clean-generic maintainer-clean-generic clean \ + mostlyclean distclean maintainer-clean + +- +-include $(top_srcdir)/gtk-doc.make +- + # Tell versions [3.59,3.63) of GNU make to not export all variables. + # Otherwise a system limit (for SysV at least) may be exceeded. + .NOEXPORT: |