[bug #52483] GNUstep Make should honor @setfilename in .texi documents

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[bug #52483] GNUstep Make should honor @setfilename in .texi documents

Richard Frith-Macdonald-10
URL:
  <http://savannah.gnu.org/bugs/?52483>

                 Summary: GNUstep Make should honor @setfilename in .texi
documents
                 Project: GNUstep
            Submitted by: yavor
            Submitted on: Wed 22 Nov 2017 10:05:58 PM EET
                Category: Makefiles
                Severity: 3 - Normal
              Item Group: Bug
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

I consider it a bug that GNUstep Make ignores the @setfilename Texinfo command
and attempts (and fails) to build/clean/install generated files with the same
output name as the .texi.  Automake has coped with this since day one, if I'm
not mistaken.  There are various valid scenarios when @setfilename is used and
set to a different file than the .texi, and IMO any sane build system should
obey.

The attached patch takes care of this.  Tested with Base, Gui, Back, Gorm and
DBusKit, with Make configured with "debian" layout.  All main targets
(all/clean/install/uninstall) work properly for me.



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Wed 22 Nov 2017 10:05:58 PM EET  Name:
0001-Honor-setfilename-in-Texinfo-documents.patch  Size: 7KiB   By: yavor

<http://savannah.gnu.org/bugs/download.php?file_id=42459>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?52483>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/


_______________________________________________
Bug-gnustep mailing list
[hidden email]
https://lists.gnu.org/mailman/listinfo/bug-gnustep