From 2e2ac742c7ab44c1e40b52dd811497d78442690f Mon Sep 17 00:00:00 2001 From: Pierre Labastie Date: Tue, 16 Apr 2019 08:06:03 +0000 Subject: [PATCH] Add missing $Id:$ comments --- Config.in | 1 + Makefile | 3 +++ extras/farce | 5 +++-- pkgmngt/packageManager.xml.porg | 1 + 4 files changed, 8 insertions(+), 2 deletions(-) diff --git a/Config.in b/Config.in index 20a7c87..1d9d957 100644 --- a/Config.in +++ b/Config.in @@ -1,3 +1,4 @@ +#$Id$ menu "BOOK Settings" #--- BOOK/script diff --git a/Makefile b/Makefile index 2eb1b92..cb664a3 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,9 @@ +# $Id: # From the Build Scripts Written By: Jim Gifford # Modified By: Joe Ciccone +# Manuel Canales Esparcia +# Pierre Labastie TOPDIR=$(shell pwd) CONFIG_CONFIG_IN = Config.in diff --git a/extras/farce b/extras/farce index 776aed4..0eaf90f 100755 --- a/extras/farce +++ b/extras/farce @@ -1,8 +1,9 @@ #!/bin/bash +# $Id$ # Acknowledgment: -# The following code is a no-modified version (except for this comment -# and the inline_doc fragment) of an original work written by +# The following code is a no-modified version (except for this comment, +# the `Id' comment, and the inline_doc fragment) of an original work written by # Ken Moffat and is included here with his permission. # diff --git a/pkgmngt/packageManager.xml.porg b/pkgmngt/packageManager.xml.porg index 6aa8c9c..72cbe97 100644 --- a/pkgmngt/packageManager.xml.porg +++ b/pkgmngt/packageManager.xml.porg @@ -1,3 +1,4 @@ +