mirror of
https://github.com/ganelson/inform.git
synced 2024-05-13 06:28:41 +03:00
13 lines
458 B
Plaintext
13 lines
458 B
Plaintext
# This is "inrtps.giscript", a script used to generate the ".gitignore" file
|
|
# in inform/inrtps. Do not edit ".gitignore" directly. Instead, edit this
|
|
# script, and then rebuild ".gitignore" with the command:
|
|
|
|
# ../inweb/Tangled/inweb -prototype inrtps/inrtps.giscript -gitignore inrtps/.gitignore
|
|
|
|
# (Or type "make gitignores", which will remake all of the .gitignore files in
|
|
# this repository from their scripts, including this one.)
|
|
|
|
{basics}
|
|
|
|
inrtps.mk
|