Minor change of def of EXTRA_DIST
authorAdam Dickmeiss <adam@indexdata.dk>
Mon, 12 May 2003 22:37:56 +0000 (22:37 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Mon, 12 May 2003 22:37:56 +0000 (22:37 +0000)
commit36e5387cdd76faccc5ebaacb657311a9d6314863
tree16fe258244c833eb6ce1f5568b1c075c11f68211
parent83b766f076b18584868172bdb98e9584556d145a
Minor change of def of EXTRA_DIST
doc/Makefile.am