gnustep/tools-make
0
0
Fork 0
mirror of https://github.com/gnustep/tools-make.git synced 2025-04-22 22:00:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixed makeinfo flags

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@13322 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Nicola Pero 2002-04-02 14:49:49 +00:00
parent b1309d0578
commit a7b107373c
2 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
Tue Apr 2 13:39:17 2002 Nicola Pero <n.pero@mi.flashnet.it>
* common.make (GNUSTEP_MAKEINFO_FLAGS): Do not use --no-headers.
* Documentation/GNUmakefile.in (GNUSTEP_MAKEINFO_FLAGS): Idem.
Tue Apr 2 13:23:58 2002 Nicola Pero <n.pero@mi.flashnet.it>
* Instance/documentation.make (internal-doc-install_,

2
Documentation/GNUmakefile.in
View file

@ -27,7 +27,7 @@ MAKEFILE_NAME = GNUmakefile
include ../Version
GNUSTEP_MAKEINFO = makeinfo
GNUSTEP_MAKEINFO_FLAGS = -D NO-TEXI2HTML --no-header
GNUSTEP_MAKEINFO_FLAGS = -D NO-TEXI2HTML
GNUSTEP_MAKETEXT = makeinfo
GNUSTEP_MAKETEXT_FLAGS = -D NO-TEXI2HTML -D TEXT-ONLY --no-header --no-split
GNUSTEP_TEXI2DVI = texi2dvi