Hallo Ralf, hallo Leute, Am Freitag, 7. Februar 2003 05:41 schrieb Ralf Corsepius:
Am Fre, 2003-02-07 um 00.33 schrieb Christian Boltz:
Hallo Ralf, hallo Leute,
Am Donnerstag, 6. Februar 2003 02:13 schrieb Ralf Corsepius:
Am Mit, 2003-02-05 um 23.45 schrieb Christian Boltz: [...]
Was jetzt? docdir oder docpath?
Ich würde docdir verwenden, da docpath mit einem Suchpfad verwechselt werden könnte (Ich bilde mir ein, mich erinnern zu können, dass die GNU-Standards oder ein damit verwandtes Dokument dazu einen Abschnitt beinhaltet)
Hab's gefunden (info standards -> Documentation): .. Please do not use the term "pathname" that is used in Unix documentation; use "file name" (two words) instead. We use the term "path" only for search paths, which are lists of directory names. ..
Ah ja. Dann erwähn ich lieber docdir in der INSTALL ;-) [ $(DESTDIR) ]
$(INSTALL) xxx.h $(DESTDIR)/$(includedir)/xxx.h
Alles klar, so hab ichs ;-)
Aber ich nicht!
Mein Beispiel ist falsch, richtig wäre: $(DESTDIR)$(includedir)
Ohne '/' zwischen $(DESTDIR) und Rest.
Hmm, ob das eine gute Idee ist? Der Vorteil dürfte eher optischer Natur sein (Vermeidung von // im fertigen Verzeichnisnamen). Oder glaubst Du, dass jemand einen _relativen_ Pfad verwenden möchte? Halte ich für sehr unwahrscheinlich... (und sogar das ginge: DESTDIR=.) Allerdings macht das Ganze Probleme, wenn z. B. $(prefix) nicht mit einem / beginnt :-| (DESTDIR=/tmp/fontlinge-root prefix=usr/local legt das Verzeichnis /tmp/fontlinge-rootusr/local an :-| ) Gruß Christian Boltz -- Wenn schon, dann höchstens Homo Sapiens Sapiens XEmacensis, die Entwicklungslinie, die im Laufe der Evolution sieben Finger an jeder Hand entwickelt hat. Und das alles nur um alle Tastenkürzel zur Bedienung von XEmacs nutzen zu können. [T. Templin über David Haller]