- Timestamp:
- 03/04/08 23:34:32 (9 months ago)
- Files:
-
- 1 modified
-
util/build_pugs.pl (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
util/build_pugs.pl
r20060 r20061 287 287 288 288 # Cabal wants to copy LICENSE/GPL-3 to .../LICENSE/GPL-3 289 mkdir "third-party/installed/share/doc/Pugs-$version"; 289 290 mkdir "third-party/installed/share/doc/Pugs-$version/LICENSE"; 290 291 $run_setup->('install');
